Live Provers

Workflow runs for Live Provers

• Live Provers

  completed successfully:
  Live Provers#1358:Scheduled
  main

  Oct 26, 202611m 33s
  More actions for workflow run 1358

• Live Provers

  completed successfully:
  Live Provers#1357:Scheduled
  main

  Oct 25, 20262m 53s
  More actions for workflow run 1357

• Live Provers

  completed successfully:
  Live Provers#1356:Scheduled
  main

  Oct 25, 202611m 18s
  More actions for workflow run 1356

• Live Provers

  completed successfully:
  Live Provers#1355:Scheduled
  main

  Oct 24, 202611m 32s
  More actions for workflow run 1355

• chore(deps): bump the actions group with 3 updates

  completed successfully:
  Live Provers#1354:Pull request#451openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b593c395d0

  Oct 23, 20263m 1s
  More actions for workflow run 1354

• Live Provers

  completed successfully:
  Live Provers#1353:Scheduled
  main

  Oct 23, 202611m 45s
  More actions for workflow run 1353

• fix(corpus): the octad test's SCHEME path broke cargo check on main…

  completed successfully:
  Live Provers#1352:Commitc03386bpushedbyhyperpolymath
  main

  Oct 22, 20262m 25s
  More actions for workflow run 1352

• fix(corpus): the octad test's SCHEME path broke cargo check on main

  completed successfully:
  Live Provers#1351:Pull request#450synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20261m 58s
  More actions for workflow run 1351

• fix(corpus): the octad test's SCHEME path broke cargo check on main

  completed successfully:
  Live Provers#1350:Pull request#450synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20262m 14s
  More actions for workflow run 1350

• fix(corpus): the octad test's SCHEME path broke cargo check on main

  completed successfully:
  Live Provers#1349:Pull request#450synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20262m 21s
  More actions for workflow run 1349

• fix(corpus): the octad test's SCHEME path broke cargo check on main

  completed successfully:
  Live Provers#1348:Pull request#450synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20262m 4s
  More actions for workflow run 1348

• corpus: structural cross-prover identity keys + 256-dim structural em…

  cancelled:
  Live Provers#1347:Commite8e93f5pushedbyhyperpolymath
  main

  Oct 22, 202622m 1s
  More actions for workflow run 1347

• corpus: structural cross-prover identity keys + 256-dim structural embedder

  completed successfully:
  Live Provers#1346:Pull request#449synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20265m 58s
  More actions for workflow run 1346

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vo…

  completed successfully:
  Live Provers#1345:Commit852a374pushedbyhyperpolymath
  main

  Oct 22, 20262m 38s
  More actions for workflow run 1345

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  completed successfully:
  Live Provers#1344:Pull request#448synchronizebycoderabbitai[bot]Bot
  arena/5b8efe75-echidna

  Oct 22, 20264m 52s
  More actions for workflow run 1344

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  completed successfully:
  Live Provers#1343:Pull request#448synchronizebycoderabbitai[bot]Bot
  arena/5b8efe75-echidna

  Oct 22, 202612m 21s
  More actions for workflow run 1343

• Live Provers

  failed at startup:
  Live Provers#1342:synchronizebygithub-actions[bot]Bot
  arena/5b8efe75-echidna

  Oct 22, 2026Startup failure
  More actions for workflow run 1342

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  cancelled:
  Live Provers#1341:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 202611m 25s
  More actions for workflow run 1341

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  cancelled:
  Live Provers#1340:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 202613m 14s
  More actions for workflow run 1340

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  cancelled:
  Live Provers#1339:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20262m 20s
  More actions for workflow run 1339

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  cancelled:
  Live Provers#1338:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20264m 28s
  More actions for workflow run 1338

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  cancelled:
  Live Provers#1337:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20262m 18s
  More actions for workflow run 1337

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  cancelled:
  Live Provers#1336:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20262m 51s
  More actions for workflow run 1336

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  completed successfully:
  Live Provers#1335:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20263m 49s
  More actions for workflow run 1335

• corpus: Ada/SPARK, Rust/Creusot and the estate profile adapters (+ vocabulary wiring)

  completed successfully:
  Live Provers#1334:Pull request#448synchronizebyhyperpolymath
  arena/5b8efe75-echidna

  Oct 22, 20263m 29s
  More actions for workflow run 1334