Labels

• blocked

  blocked

  Status: marked as blocked on something else.

• bug

  bug

  Something isn't working

• build

  build

• C

  C

• ci

  ci

  Continuous integration

• dependencies

  dependencies

  Pull requests that update a dependency file

• do-not-merge

  do-not-merge

  Don't merge this PR

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• go

  go

  Pull requests that update Go code

• good first issue

  good first issue

  Good for newcomers

• hacl

  hacl

• hax

  hax

  Proof tools

• help wanted

  help wanted

  Extra attention is needed

• inactive

  inactive

  Status: Inactive and waiting on the author.

• invalid

  invalid

  This doesn't seem right

• iot

  iot

• keep-open

  keep-open

• libjade

  libjade

• meta

  meta

• pqcp

  pqcp

  PQ Code Packages

• proof

  proof

  Proof related

• psq

  psq

• python

  python

  Pull requests that update Python code

• question

  question

  Further information is requested

• rust

  rust

  Pull requests that update Rust code

• stale

  stale

• test

  test