All workflows

Workflow runs

• Benchmarks

  queued:
  Benchmarks#6724:Manually runbyalex
  claude/ppc64le-ghash-pairs

  Nov 8, 2026Queued
  More actions for workflow run 6724

• PPC64LE DSA: Miller–Rabin's R² mod c by r2Hi for every size but q160

  queued:
  Label#4578:Pull request#4709editedbyalex
  Nov 8, 2026Queued
  More actions for workflow run 4578

• PPC64LE DSA: Miller–Rabin's R² mod c by r2Hi for every size but q160

  queued:
  CI#16308:Pull request#4709synchronizebyalex
  claude/ppc64le-dsa-prime-r2

  Nov 8, 2026Queued
  More actions for workflow run 16308

• PPC64LE DSA: Miller–Rabin's R² mod c by r2Hi for every size but q160

  cancelled:
  Label#4577:Pull request#4709synchronizebyalex
  Nov 8, 202618s
  More actions for workflow run 4577

• Publish Lean cache

  completed successfully:
  Publish Lean cache#2716:Manually runbygithub-actions[bot]Bot
  main

  Nov 8, 20261m 46s
  More actions for workflow run 2716

• CLAUDE.md: a new variant is an element of its interface's list

  queued:
  CI#16307:Pull request#4708synchronizebyalex
  claude/vg-docs-variant-lists

  Nov 8, 2026Queued
  More actions for workflow run 16307

• CLAUDE.md: a new variant is an element of its interface's list

  completed successfully:
  Label#4576:Pull request#4708synchronizebyalex
  Nov 8, 202624s
  More actions for workflow run 4576

• TCB: delete Emit.qualifiedName

  queued:
  CI#16306:Pull request#4706synchronizebyalex
  claude/vg-tcb-no-qualified-name

  Nov 8, 2026Queued
  More actions for workflow run 16306

• TCB: delete Emit.qualifiedName

  completed successfully:
  Label#4575:Pull request#4706synchronizebyalex
  Nov 8, 202623s
  More actions for workflow run 4575

• qualifiedName is a registration helper, not part of the emitter

  queued:
  CI#16305:Pull request#4703synchronizebyalex
  claude/vg-qualified-name

  Nov 8, 2026Queued
  More actions for workflow run 16305

• SHA-256's and SHA-512's own lists of implementations, not Option fields of MdHash

  currently running:
  CI#16304:Pull request#4696synchronizebyalex
  claude/vg-sha-compress-lists

  Nov 8, 2026In progress
  More actions for workflow run 16304

• qualifiedName is a registration helper, not part of the emitter

  completed successfully:
  Label#4574:Pull request#4703synchronizebyalex
  Nov 8, 202625s
  More actions for workflow run 4574

• SHA-256's and SHA-512's own lists of implementations, not Option fields of MdHash

  completed successfully:
  Label#4573:Pull request#4696synchronizebyalex
  Nov 8, 202626s
  More actions for workflow run 4573

• x86-64 AES-GCM: no instances for CPUs with VAES or VPCLMULQDQ but not both

  queued:
  CI#16303:Pull request#4692synchronizebyalex
  claude/vg-aes-gcm-tiers

  Nov 8, 2026Queued
  More actions for workflow run 16303

• x86-64 AES-GCM: no instances for CPUs with VAES or VPCLMULQDQ but not both

  completed successfully:
  Label#4572:Pull request#4692synchronizebyalex
  Nov 8, 202617s
  More actions for workflow run 4572

• x86-64 AES-GCM: no instances for CPUs with VAES or VPCLMULQDQ but not both

  completed successfully:
  Label#4571:Pull request#4692editedbyalex
  Nov 8, 20268s
  More actions for workflow run 4571

• CI

  queued:
  CI#16302:Merge group checks requested
  Nov 8, 2026Queued
  More actions for workflow run 16302

• TCB: dispatch each function's implementations in the order its file l…

  completed successfully:
  Conflicts#237:Commite4c4e66pushedbygithub-merge-queue[bot]Bot
  main

  Nov 8, 202616s
  More actions for workflow run 237

• TCB: dispatch each function's implementations in the order its file l…

  queued:
  CI#16301:Commite4c4e66pushedbygithub-merge-queue[bot]Bot
  main

  Nov 8, 2026Queued
  More actions for workflow run 16301

• Publish Lean cache

  completed successfully:
  Publish Lean cache#2715:Manually runbygithub-actions[bot]Bot
  main

  Nov 8, 20261m 20s
  More actions for workflow run 2715

• TCB: x86-64 functions return without secret residue, but those an allowlist names

  completed successfully:
  Label#4570:Pull request#4741openedbyreaperhulk
  Nov 8, 20267s
  More actions for workflow run 4570

• TCB: x86-64 functions return without secret residue, but those an allowlist names

  currently running:
  CI#16300:Pull request#4741openedbyreaperhulk
  claude/residue-tcb

  Nov 8, 2026In progress
  More actions for workflow run 16300

• PPC64LE DSA: Miller–Rabin's R² mod c by r2Hi for every size but q160

  completed successfully:
  Label#4569:Pull request#4709editedbyalex
  Nov 8, 202614s
  More actions for workflow run 4569

• CI

  currently running:
  CI#16299:Merge group checks requested
  Nov 8, 2026In progress
  More actions for workflow run 16299

• PPC64LE DSA: R² mod p by r2Hi (r2Prime when p's top word is zero) (#4…

  completed successfully:
  Conflicts#236:Commitfbc66f8pushedbygithub-merge-queue[bot]Bot
  main

  Nov 8, 202620s
  More actions for workflow run 236