All workflows

Workflow runs

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  skipped:
  Benchmark GPU (PR)#584:Issue comment#1027 (comment)createdbyMauroToscano
  Oct 30, 20265m 49s
  More actions for workflow run 584

• Derive page configs without a per-byte image

  failed:
  AI Review#722:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20268m 44s
  More actions for workflow run 722

• Derive page configs without a per-byte image

  skipped:
  Profile Recursion (PR)#482:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20266m 3s
  More actions for workflow run 482

• Derive page configs without a per-byte image

  skipped:
  Benchmark GPU (PR)#583:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20264m 57s
  More actions for workflow run 583

• Derive page configs without a per-byte image

  skipped:
  Benchmark (PR)#1865:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20267m 41s
  More actions for workflow run 1865

• Derive page configs without a per-byte image

  skipped:
  Bench ABBA tiebreaker#597:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20266m 59s
  More actions for workflow run 597

• Derive page configs without a per-byte image

  skipped:
  Bench verifier#506:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20267m 19s
  More actions for workflow run 506

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Spec tests#2984:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 30, 202610s
  More actions for workflow run 2984

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Hyperfine Benchmark#1720:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 30, 20263m 41s
  More actions for workflow run 1720

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1243:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 30, 20261s
  More actions for workflow run 1243

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Integration Tests#5600:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 30, 202652m 6s
  More actions for workflow run 5600

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  ethrex block-converter tests#353:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 30, 20262m 55s
  More actions for workflow run 353

• ACT4 Nightly

  completed successfully:
  ACT4 Nightly#158:completedbygithub-merge-queue[bot]Bot
  Oct 30, 20263m 40s
  More actions for workflow run 158

• Bench Vs Nightly

  completed successfully:
  Bench Vs Nightly#204:Scheduled
  main

  Oct 30, 20266m 56s
  More actions for workflow run 204

• Daily Lines of Code Report

  completed successfully:
  Daily Lines of Code Report#244:Scheduled
  main

  Oct 30, 20261m 52s
  More actions for workflow run 244

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Hyperfine Benchmark#1719:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 20264m 40s
  More actions for workflow run 1719

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Spec tests#2983:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 20269s
  More actions for workflow run 2983

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  ethrex block-converter tests#352:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 20262m 45s
  More actions for workflow run 352

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1242:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 2026Skipped
  More actions for workflow run 1242

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Integration Tests#5599:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 202644m 58s
  More actions for workflow run 5599

• spec: read dataclass field names from the class, not the instance

  completed successfully:
  Spec tests#2982:Commit147b4b3pushedbyMauroToscano
  noepoch/whir

  Oct 29, 20268s
  More actions for workflow run 2982

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Integration Tests#5598:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 202644m 34s
  More actions for workflow run 5598

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  skipped:
  GPU Tests (merge queue)#1241:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 20261s
  More actions for workflow run 1241

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  Hyperfine Benchmark#1718:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 20263m 18s
  More actions for workflow run 1718

• WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress

  completed successfully:
  ethrex block-converter tests#351:Pull request#1014synchronizebyMauroToscano
  noepoch/whir

  Oct 29, 20262m 4s
  More actions for workflow run 351