CI

Workflow runs for CI

• sign: Order rejection checks by rejection rate

  failed:
  CI#5226:Pull request#1431synchronizebymkannwischer
  reoder-norm-check

  Nov 8, 20262h 11m 22s
  More actions for workflow run 5226

• scripts/tests: Align GitHub summary rows by benchmark name

  failed:
  CI#5225:Pull request#1536openedbymkannwischer
  port-tests-summary-align

  Nov 8, 202612m 21s
  More actions for workflow run 5225

• [WIP] riscv64: Add RVV assembly arithmetic backend and Zbb Keccak

  completed successfully:
  CI#5224:Pull request#1534openedbymkannwischer
  rvv-asm

  Nov 6, 20262h 31m 28s
  More actions for workflow run 5224

• CI

  failed:
  CI#5223:Merge group checks requested
  Nov 6, 20262h 1m 25s
  More actions for workflow run 5223

• Add reduced-RAM x4 matrix batching

  completed successfully:
  CI#5222:Pull request#1526synchronizebybremoran
  reduced-ram-x4

  Nov 6, 20262h 19m 3s
  More actions for workflow run 5222

• CONTRIBUTING: Document commit message conventions

  completed successfully:
  CI#5221:Pull request#1533openedbymkannwischer
  port-contributing-commit-messages

  Nov 6, 20262h 0m 30s
  More actions for workflow run 5221

• Add reduced-RAM x4 matrix batching

  completed successfully:
  CI#5220:Pull request#1526synchronizebybremoran
  reduced-ram-x4

  Nov 5, 202611m 10s
  More actions for workflow run 5220

• Add reduced-RAM x4 matrix batching

  failed:
  CI#5219:Pull request#1526synchronizebybremoran
  reduced-ram-x4

  Nov 5, 20262h 17m 11s
  More actions for workflow run 5219

• CI

  completed successfully:
  CI#5218:Merge group checks requested
  Nov 5, 20261h 59m 18s
  More actions for workflow run 5218

• Port abicheck: Use the native build's CPU feature flags

  completed successfully:
  CI#5217:Pull request#1532openedbymkannwischer
  port-abicheck-cpu-flags

  Nov 5, 202611m 5s
  More actions for workflow run 5217

• CI: Switch AArch64 runners to ubuntu-26.04-arm

  completed successfully:
  CI#5216:Pull request#1530openedbymkannwischer
  ci-ubuntu-26.04-arm

  Nov 5, 20262h 40m 5s
  More actions for workflow run 5216

• liboqs: Add MLD_CONFIG_REDUCE_RAM flags for OQS_MEMOPT_BUILD

  completed successfully:
  CI#5215:Pull request#1529openedbymkannwischer
  liboqs-memopt

  Nov 5, 20261h 58m 54s
  More actions for workflow run 5215

• SOUNDNESS.md: Document CBMC proofs discharged by a single solver

  completed successfully:
  CI#5214:Pull request#1528openedbymkannwischer
  soundness-single-solver

  Nov 5, 20262h 1m 35s
  More actions for workflow run 5214

• Add reduced-RAM x4 matrix batching

  failed:
  CI#5213:Pull request#1526openedbybremoran
  reduced-ram-x4

  Nov 4, 20262h 22m 27s
  More actions for workflow run 5213

• CI

  completed successfully:
  CI#5212:Merge group checks requested
  Nov 4, 20262h 11m 46s
  More actions for workflow run 5212

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  completed successfully:
  CI#5211:Pull request#1523synchronizebymkannwischer
  cbmc-no-skolem-workaround

  Nov 4, 20262h 21m 6s
  More actions for workflow run 5211

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  failed:
  CI#5210:Pull request#1523synchronizebymkannwischer
  cbmc-no-skolem-workaround

  Nov 4, 20262h 3m 56s
  More actions for workflow run 5210

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  completed successfully:
  CI#5209:Pull request#1523synchronizebymkannwischer
  cbmc-no-skolem-workaround

  Nov 4, 20262h 19m 43s
  More actions for workflow run 5209

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  cancelled:
  CI#5208:Pull request#1523synchronizebymkannwischer
  cbmc-no-skolem-workaround

  Nov 4, 20261m 44s
  More actions for workflow run 5208

• HOL-Light: Minor clean-ups

  completed successfully:
  CI#5207:Pull request#1502synchronizebymkannwischer
  hol-speedup-followup

  Nov 4, 20262h 29m 33s
  More actions for workflow run 5207

• CI

  completed successfully:
  CI#5206:Merge group checks requested
  Nov 4, 20263h 0m 6s
  More actions for workflow run 5206

• Support unaligned Armv8.1-M x4 Keccak byte access

  completed successfully:
  CI#5205:Pull request#1470synchronizebybremoran
  armv81m-x4-byte-access

  Nov 3, 20262h 6m 58s
  More actions for workflow run 5205

• Update z3 to version 5.3.2 from the nixos-unstable channel.

  completed successfully:
  CI#5204:Pull request#1524openedbyrod-chapman
  z3_5.3.2

  Nov 3, 20262h 43m 40s
  More actions for workflow run 5204

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  completed successfully:
  CI#5203:Pull request#1523openedbymkannwischer
  cbmc-no-skolem-workaround

  Nov 3, 20262h 17m 22s
  More actions for workflow run 5203

• CBMC: Add CaDiCaL as a second solver for all remaining proofs

  completed successfully:
  CI#5202:Pull request#1521synchronizebymkannwischer
  cbmc-no-forall-skolemization

  Nov 3, 20263h 27m 33s
  More actions for workflow run 5202