CI

Workflow runs for CI

• CBMC: Add CaDiCaL SAT profile

  queued:
  CI#5117:Pull request#1492synchronizebyhanno-becker
  cbmc-cadical-proofs

  Oct 25, 2026Queued
  More actions for workflow run 5117

• CI

  completed successfully:
  CI#5116:Merge group checks requested
  Oct 25, 20261h 29m 52s
  More actions for workflow run 5116

• Zeroize stack in assembly routines spilling to the stack

  completed successfully:
  CI#5115:Pull request#1498openedbymkannwischer
  asm-zeroize

  Oct 25, 20262h 7m 26s
  More actions for workflow run 5115

• HOL Light: Fail bytecode update if a proof's bytecode is not dumped

  failed:
  CI#5114:Pull request#1497synchronizebymkannwischer
  bytecode-autogen

  Oct 25, 20262h 10m 19s
  More actions for workflow run 5114

• HOL Light: Fail bytecode update if a proof's bytecode is not dumped

  cancelled:
  CI#5113:Pull request#1497openedbymkannwischer
  bytecode-autogen

  Oct 25, 20261h 36m 48s
  More actions for workflow run 5113

• CBMC: Add a second solver for 2 slow proofs

  failed:
  CI#5112:Pull request#1496openedbymkannwischer
  cbmc-slow-second-solvers

  Oct 25, 20261h 53m 36s
  More actions for workflow run 5112

• CBMC: Use constant quantifier ranges in some loop invariants

  failed:
  CI#5111:Pull request#1495openedbymkannwischer
  cbmc-bounded-invariants

  Oct 25, 20261h 35m 41s
  More actions for workflow run 5111

• CBMC: Push performance data to gh-pages

  completed successfully:
  CI#5110:Pull request#1494openedbyhanno-becker
  gh-pages-push-fix

  Oct 25, 20261h 34m 1s
  More actions for workflow run 5110

• CBMC: Add a second solver for 8 more proofs

  completed successfully:
  CI#5109:Pull request#1493synchronizebymkannwischer
  cbmc-more-second-solvers

  Oct 25, 20261h 33m 24s
  More actions for workflow run 5109

• CBMC: Add a second solver for 8 more proofs

  cancelled:
  CI#5108:Pull request#1493openedbymkannwischer
  cbmc-more-second-solvers

  Oct 25, 20261h 9m 34s
  More actions for workflow run 5108

• CBMC: Add CaDiCaL SAT profile

  completed successfully:
  CI#5107:Pull request#1492synchronizebymkannwischer
  cbmc-cadical-proofs

  Oct 25, 20261h 12m 29s
  More actions for workflow run 5107

• CBMC: Add CaDiCaL SAT profile

  failed:
  CI#5106:Pull request#1492synchronizebymkannwischer
  cbmc-cadical-proofs

  Oct 25, 20261h 23m 15s
  More actions for workflow run 5106

• CBMC: Add CaDiCaL SAT profile

  failed:
  CI#5105:Pull request#1492openedbymkannwischer
  cbmc-cadical-proofs

  Oct 25, 20261h 40m 37s
  More actions for workflow run 5105

• CI

  completed successfully:
  CI#5104:Merge group checks requested
  Oct 25, 20261h 26m 30s
  More actions for workflow run 5104

• CI

  completed successfully:
  CI#5103:Merge group checks requested
  Oct 25, 20261h 21m 28s
  More actions for workflow run 5103

• New 3-way batched Keccak-f1600 (x3) improves ML-DSA performance by 2.5 to 13.0% on Neoverse V3

  completed successfully:
  CI#5102:Pull request#1489synchronizebysoumya2094
  x3-hybrid-keccak-f1600

  Oct 25, 20262h 24m 29s
  More actions for workflow run 5102

• CBMC: Add more cvc5 proofs

  completed successfully:
  CI#5101:Pull request#1491synchronizebymkannwischer
  cbmc-more-cvc5-proofs

  Oct 25, 20261h 27m 32s
  More actions for workflow run 5101

• CBMC: Add more cvc5 proofs

  cancelled:
  CI#5100:Pull request#1491synchronizebymkannwischer
  cbmc-more-cvc5-proofs

  Oct 25, 20261h 26m 48s
  More actions for workflow run 5100

• CBMC: Add more cvc5 proofs

  failed:
  CI#5099:Pull request#1491openedbymkannwischer
  cbmc-more-cvc5-proofs

  Oct 24, 20261h 24m 3s
  More actions for workflow run 5099

• CI

  completed successfully:
  CI#5098:Merge group checks requested
  Oct 24, 20261h 20m 15s
  More actions for workflow run 5098

• CBMC: Use a second solver for 149/215 proofs

  completed successfully:
  CI#5097:Pull request#1423synchronizebymkannwischer
  mjk/cbmc-lp64-two-solvers

  Oct 24, 20261h 12m 53s
  More actions for workflow run 5097

• CBMC: Use a second solver for 149/215 proofs

  failed:
  CI#5096:Pull request#1423synchronizebymkannwischer
  mjk/cbmc-lp64-two-solvers

  Oct 24, 20261h 9m 39s
  More actions for workflow run 5096

• CI

  failed:
  CI#5095:Merge group checks requested
  Oct 24, 20261h 15m 10s
  More actions for workflow run 5095

• README: List PyCryptodome and TF-PSA-Crypto as consumers

  completed successfully:
  CI#5094:Pull request#1490synchronizebymkannwischer
  readme-consumers

  Oct 24, 20261h 17m 42s
  More actions for workflow run 5094

• README: List PyCryptodome and TF-PSA-Crypto as consumers

  cancelled:
  CI#5093:Pull request#1490openedbymkannwischer
  readme-consumers

  Oct 24, 20261h 26m 46s
  More actions for workflow run 5093