All workflows

Workflow runs

• Static checks: run the checks as background steps

  completed successfully:
  Label#1680:Pull request#3739editedbyreaperhulk
  Oct 30, 20268s
  More actions for workflow run 1680

• CI

  queued:
  CI#12859:Merge group checks requested
  Oct 30, 2026Queued
  More actions for workflow run 12859

• Publish Lean cache

  completed successfully:
  Publish Lean cache#2041:completedbygithub-merge-queue[bot]Bot
  Oct 30, 20261m 13s
  More actions for workflow run 2041

• Publish Lean cache

  cancelled:
  Publish Lean cache#2040:completedbygithub-merge-queue[bot]Bot
  Oct 30, 20261m 13s
  More actions for workflow run 2040

• Publish Lean cache

  completed successfully:
  Publish Lean cache#2039:completedbygithub-merge-queue[bot]Bot
  Oct 30, 20261m 33s
  More actions for workflow run 2039

• Publish Lean cache

  completed successfully:
  Publish Lean cache#2038:completedbygithub-merge-queue[bot]Bot
  Oct 30, 202659s
  More actions for workflow run 2038

• AArch64 ML-DSA: skip later phases after vector norm rejection (#3740)

  completed successfully:
  CI#12858:Commit1df7714pushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20266m 24s
  More actions for workflow run 12858

• ARMv7 P-384: [k]G by the shared signed seven-bit comb (sign 5.9×, pub…

  completed successfully:
  CI#12857:Commit9a9c08bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20265m 58s
  More actions for workflow run 12857

• ARMv7 brainpoolP256r1: [k]G by the shared signed seven-bit comb (sign…

  completed successfully:
  CI#12856:Commit0382f75pushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20266m 24s
  More actions for workflow run 12856

• ML-DSA x86-64 sign: each row of w with one fused dot-inverse call (#3…

  completed successfully:
  CI#12855:Commit5921d1apushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 20265m 55s
  More actions for workflow run 12855

• CI

  completed successfully:
  CI#12854:Merge group checks requested
  Oct 30, 20268m 19s
  More actions for workflow run 12854

• CI

  completed successfully:
  CI#12853:Merge group checks requested
  Oct 30, 20268m 9s
  More actions for workflow run 12853

• CI

  completed successfully:
  CI#12852:Merge group checks requested
  Oct 30, 20268m 21s
  More actions for workflow run 12852

• CI

  completed successfully:
  CI#12851:Merge group checks requested
  Oct 30, 20265m 48s
  More actions for workflow run 12851

• ML-DSA x86-64: verify with the public-key hash the key keeps

  completed successfully:
  Label#1679:Pull request#3745openedbyreaperhulk
  Oct 30, 20269s
  More actions for workflow run 1679

• ML-DSA x86-64: verify with the public-key hash the key keeps

  completed successfully:
  CI#12850:Pull request#3745openedbyreaperhulk
  claude/serene-cerf-optoet-mldsa-cachedverify

  Oct 30, 20268m 19s
  More actions for workflow run 12850

• Benchmarks

  completed successfully:
  Benchmarks#5899:Manually runbyreaperhulk
  claude/serene-cerf-optoet-mldsa-cachedverify

  Oct 30, 20263m 3s
  More actions for workflow run 5899

• ML-DSA x86-64 sign: each row of w with one fused dot-inverse call

  completed successfully:
  CI#12849:Pull request#3744openedbyreaperhulk
  claude/serene-cerf-optoet-mldsa-dotinv

  Oct 30, 20265m 35s
  More actions for workflow run 12849

• ML-DSA x86-64 sign: each row of w with one fused dot-inverse call

  completed successfully:
  Label#1678:Pull request#3744openedbyreaperhulk
  Oct 30, 20267s
  More actions for workflow run 1678

• ARMv7 brainpoolP256r1: [k]G by the shared signed seven-bit comb (sign 5.9×, public key 8×, verify 1.8× faster)

  completed successfully:
  Label#1677:Pull request#3743openedbyreaperhulk
  Oct 30, 20267s
  More actions for workflow run 1677

• ARMv7 brainpoolP256r1: [k]G by the shared signed seven-bit comb (sign 5.9×, public key 8×, verify 1.8× faster)

  completed successfully:
  CI#12848:Pull request#3743openedbyreaperhulk
  arm-brainpoolp256r1-comb

  Oct 30, 20264m 58s
  More actions for workflow run 12848

• Benchmarks

  completed successfully:
  Benchmarks#5898:Manually runbyreaperhulk
  claude/serene-cerf-optoet-mldsa-dotinv

  Oct 30, 20262m 58s
  More actions for workflow run 5898

• Benchmarks

  completed successfully:
  Benchmarks#5897:Manually runbyreaperhulk
  arm-brainpoolp256r1-comb

  Oct 30, 20262m 26s
  More actions for workflow run 5897

• ARMv7 P-384: [k]G by the shared signed seven-bit comb (sign 5.9×, public key 8×, verify 1.8× faster)

  completed successfully:
  Label#1676:Pull request#3742openedbyreaperhulk
  Oct 30, 20267s
  More actions for workflow run 1676

• ARMv7 P-384: [k]G by the shared signed seven-bit comb (sign 5.9×, public key 8×, verify 1.8× faster)

  completed successfully:
  CI#12847:Pull request#3742openedbyreaperhulk
  arm-p384-comb

  Oct 30, 20264m 57s
  More actions for workflow run 12847