All workflows

Workflow runs

• Publish Lean cache

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

• Reuse prepared ARMv7 SM4 keys for serial CBC encryption (#3040)

  completed successfully:
  CI#10485:Commita366995pushedbygithub-merge-queue[bot]Bot
  main

  Oct 21, 20265m 42s
  More actions for workflow run 10485

• Spec: ML-KEM NTT and inverse of a polynomial stored with 16 bits

  completed successfully:
  CI#10484:Pull request#3042openedbyalex
  spec-mlkem16-ntt

  Oct 21, 20263m 53s
  More actions for workflow run 10484

• CI

  failed:
  CI#10483:Merge group checks requested
  Oct 21, 202612m 39s
  More actions for workflow run 10483

• CI

  completed successfully:
  CI#10482:Merge group checks requested
  Oct 21, 20266m 11s
  More actions for workflow run 10482

• ML-KEM AArch64: prove the forward NTTs by an interpreter the kernel runs

  completed successfully:
  CI#10481:Pull request#3041openedbyalex
  a64-ntt-interp

  Oct 21, 20265m 4s
  More actions for workflow run 10481

• Reduce ARMv7 SM4 S-box inversions with complemented intermediates

  completed successfully:
  CI#10480:Pull request#3035synchronizebyreaperhulk
  codex/arm-sm4-sbox-polarity

  Oct 21, 20266m 11s
  More actions for workflow run 10480

• Benchmarks

  completed successfully:
  Benchmarks#5249:Manually runbyreaperhulk
  codex/arm-sm4-sbox-polarity

  Oct 21, 20263m 20s
  More actions for workflow run 5249

• ARMv7 SM4-CBC: prepare encryption keys once per call

  completed successfully:
  CI#10479:Pull request#3040synchronizebyreaperhulk
  codex/arm-sm4-prepared-cbc-encrypt

  Oct 21, 20266m 59s
  More actions for workflow run 10479

• ARMv7 SM4-CBC: batch decryption with reverse XOR

  completed successfully:
  CI#10478:Pull request#3034synchronizebyreaperhulk
  codex/arm-sm4-batched-cbc-decrypt

  Oct 21, 20265m 56s
  More actions for workflow run 10478

• ARMv7 SM4-CBC: prepare encryption keys once per call

  cancelled:
  CI#10477:Pull request#3040openedbyreaperhulk
  codex/arm-sm4-prepared-cbc-encrypt

  Oct 21, 20262m 13s
  More actions for workflow run 10477

• Benchmarks

  completed successfully:
  Benchmarks#5248:Manually runbyreaperhulk
  codex/arm-sm4-prepared-cbc-encrypt

  Oct 21, 20263m 21s
  More actions for workflow run 5248

• AES-GCM x86-64 VAES-256: the prepared loops take 2 to 15 blocks

  completed successfully:
  CI#10476:Pull request#3039openedbyalex
  claude/gcm-vaes-small

  Oct 21, 20268m 13s
  More actions for workflow run 10476

• Benchmarks

  completed successfully:
  Benchmarks#5247:Manually runbyalex
  claude/bench-main

  Oct 21, 20263m 43s
  More actions for workflow run 5247

• CI

  completed successfully:
  CI#10475:Merge group checks requested
  Oct 21, 20265m 53s
  More actions for workflow run 10475

• CI

  completed successfully:
  CI#10474:Merge group checks requested
  Oct 21, 20266m 13s
  More actions for workflow run 10474

• CI

  completed successfully:
  CI#10473:Merge group checks requested
  Oct 21, 20266m 42s
  More actions for workflow run 10473

• ARMv7 SM4-OFB: prepare keys once per call

  completed successfully:
  CI#10472:Pull request#3037openedbyreaperhulk
  codex/arm-sm4-prepared-ofb

  Oct 21, 20265m 48s
  More actions for workflow run 10472

• Benchmarks

  completed successfully:
  Benchmarks#5246:Manually runbyreaperhulk
  codex/arm-sm4-prepared-ofb

  Oct 21, 20263m 19s
  More actions for workflow run 5246

• rustls-provider: a rustls CryptoProvider backed by verified-garbage, and benchmarks against aws-lc-rs

  completed successfully:
  CI#10471:Pull request#991synchronizebyalex
  claude/cool-dijkstra-o2qo01

  Oct 21, 20266m 7s
  More actions for workflow run 10471

• Benchmarks

  completed successfully:
  Benchmarks#5245:Manually runbyalex
  claude/bench-main

  Oct 21, 20262m 35s
  More actions for workflow run 5245

• ARMv7 SM4-CFB128: prepare encryption keys once per call

  completed successfully:
  CI#10470:Pull request#3036openedbyreaperhulk
  codex/arm-sm4-prepared-cfb-encrypt

  Oct 21, 20266m 33s
  More actions for workflow run 10470

• Benchmarks

  completed successfully:
  Benchmarks#5244:Manually runbyreaperhulk
  codex/arm-sm4-prepared-cfb-encrypt

  Oct 21, 20263m 33s
  More actions for workflow run 5244

• Reduce ARMv7 SM4 S-box inversions with complemented intermediates

  completed successfully:
  CI#10469:Pull request#3035openedbyreaperhulk
  codex/arm-sm4-sbox-polarity

  Oct 21, 20266m 12s
  More actions for workflow run 10469

• Benchmarks

  completed successfully:
  Benchmarks#5243:Manually runbyreaperhulk
  codex/arm-sm4-sbox-polarity

  Oct 21, 20263m 49s
  More actions for workflow run 5243