All workflows

Workflow runs

• Fuzz crates

  currently running:
  Fuzz crates#159:Scheduled
  main

  Nov 6, 2026In progress
  More actions for workflow run 159

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  Field portability#25:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 20263m 8s
  More actions for workflow run 25

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  Benchmark modular crates#76:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 202636m 33s
  More actions for workflow run 76

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  PR Title#165:Pull request#60openedbyRadNi
  Nov 6, 20266s
  More actions for workflow run 165

• perf(akita): integrate portable recursive verifier optimizations

  failed:
  Fiat-Shamir soundness#224:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 20264m 17s
  More actions for workflow run 224

• perf(akita): integrate portable recursive verifier optimizations

  failed:
  Build and Test Jolt#445:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 202618m 38s
  More actions for workflow run 445

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  Architecture Tests#194:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 20264m 56s
  More actions for workflow run 194

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  Metal#12:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 20263m 56s
  More actions for workflow run 12

• perf(akita): integrate portable recursive verifier optimizations

  failed:
  Fp128 formal verification#56:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 202610m 43s
  More actions for workflow run 56

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  PR Diff Classification#107:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 202614s
  More actions for workflow run 107

• perf(akita): integrate portable recursive verifier optimizations

  completed successfully:
  Fuzz crates#158:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 202638m 12s
  More actions for workflow run 158

• perf(akita): integrate portable recursive verifier optimizations

  failed:
  Fp64 formal verification#47:Pull request#60openedbyRadNi
  codex/jolt-portable-verifier-optimizations-20261106

  Nov 6, 202620m 22s
  More actions for workflow run 47

• PR #60

  completed successfully:
  CodeQL#276:byRadNi
  refs/pull/60/head

  Nov 6, 202644m 13s

• Z3 Formal Verification

  completed successfully:
  Z3 Formal Verification#87:Scheduled
  main

  Nov 5, 20261m 19s
  More actions for workflow run 87

• Cargo Audit

  completed successfully:
  Cargo Audit#45:Scheduled
  main

  Nov 5, 202630s
  More actions for workflow run 45

• Fiat-Shamir soundness

  completed successfully:
  Fiat-Shamir soundness#223:Scheduled
  main

  Nov 5, 20269m 46s
  More actions for workflow run 223

• Fuzz crates

  completed successfully:
  Fuzz crates#157:Scheduled
  main

  Nov 5, 20261h 21m 36s
  More actions for workflow run 157

• Z3 Formal Verification

  completed successfully:
  Z3 Formal Verification#86:Scheduled
  main

  Nov 4, 20261m 3s
  More actions for workflow run 86

• Cargo Audit

  completed successfully:
  Cargo Audit#44:Scheduled
  main

  Nov 4, 202636s
  More actions for workflow run 44

• Fiat-Shamir soundness

  completed successfully:
  Fiat-Shamir soundness#222:Scheduled
  main

  Nov 4, 20268m 1s
  More actions for workflow run 222

• Fuzz crates

  completed successfully:
  Fuzz crates#156:Scheduled
  main

  Nov 4, 20261h 21m 50s
  More actions for workflow run 156

• Z3 Formal Verification

  completed successfully:
  Z3 Formal Verification#85:Scheduled
  main

  Nov 3, 202618m 53s
  More actions for workflow run 85

• Cargo Audit

  completed successfully:
  Cargo Audit#43:Scheduled
  main

  Nov 3, 202638s
  More actions for workflow run 43

• Fiat-Shamir soundness

  completed successfully:
  Fiat-Shamir soundness#221:Scheduled
  main

  Nov 3, 20268m 33s
  More actions for workflow run 221

• Fuzz crates

  completed successfully:
  Fuzz crates#155:Scheduled
  main

  Nov 3, 20261h 22m 28s
  More actions for workflow run 155