Verification Proof Corpora (weekly)

Workflow runs for Verification Proof Corpora (weekly)

• Verification Proof Corpora (weekly)

  completed successfully:
  Verification Proof Corpora (weekly)#43:Scheduled
  main

  Oct 19, 20261m 36s
  More actions for workflow run 43

• Verification Proof Corpora (weekly)

  completed successfully:
  Verification Proof Corpora (weekly)#42:Scheduled
  main

  Oct 12, 20261m 41s
  More actions for workflow run 42

• Verification Proof Corpora (weekly)

  completed successfully:
  Verification Proof Corpora (weekly)#41:Scheduled
  main

  Oct 5, 20261m 14s
  More actions for workflow run 41

• chore(licence): AGPL-3.0-or-later -> MPL-2.0 code, CC-BY-SA-4.0 docs …

  completed successfully:
  Verification Proof Corpora (weekly)#40:Pull request#406synchronizebyhyperpolymath
  chore/licence-agpl-to-mpl

  Oct 3, 20262m 3s
  More actions for workflow run 40

• chore(licence): AGPL-3.0-or-later -> MPL-2.0 code, CC-BY-SA-4.0 docs …

  cancelled:
  Verification Proof Corpora (weekly)#39:Pull request#406openedbyhyperpolymath
  chore/licence-agpl-to-mpl

  Oct 3, 202610s
  More actions for workflow run 39

• Verification Proof Corpora (weekly)

  completed successfully:
  Verification Proof Corpora (weekly)#38:Scheduled
  main

  Sep 28, 20261m 24s
  More actions for workflow run 38

• fix(ci): reconcile actions.lock so the lockfile validates

  completed successfully:
  Verification Proof Corpora (weekly)#37:Pull request#390openedbyhyperpolymath
  fix/lockfile-reconcile

  Sep 21, 20264h 54m 33s
  More actions for workflow run 37

• Verification Proof Corpora (weekly)

  failed at startup:
  Verification Proof Corpora (weekly)#36:Scheduled
  main

  Sep 21, 2026Startup failure
  More actions for workflow run 36

• Verification Proof Corpora (weekly)

  failed at startup:
  Verification Proof Corpora (weekly)#35:openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 2026Startup failure
  More actions for workflow run 35

• Verification Proof Corpora (weekly)

  completed successfully:
  Verification Proof Corpora (weekly)#34:Scheduled
  main

  Sep 14, 20261m 34s
  More actions for workflow run 34

• fix(proof): require real proof rejection and valid Coq submissions

  completed successfully:
  Verification Proof Corpora (weekly)#33:Pull request#376synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 12, 20261m 12s
  More actions for workflow run 33

• Verification Proof Corpora (weekly)

  failed:
  Verification Proof Corpora (weekly)#32:Scheduled
  main

  Sep 7, 202610m 10s
  More actions for workflow run 32

• fix(proof): require real proof rejection and valid Coq submissions

  completed successfully:
  Verification Proof Corpora (weekly)#31:Pull request#376synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 20261m 32s
  More actions for workflow run 31

• fix(proof): require real proof rejection and valid Coq submissions

  completed successfully:
  Verification Proof Corpora (weekly)#30:Pull request#376synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 20261m 12s
  More actions for workflow run 30

• fix(proof): require real proof rejection and valid Coq submissions

  completed successfully:
  Verification Proof Corpora (weekly)#29:Pull request#376synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 20261m 37s
  More actions for workflow run 29

• fix(proof): require real proof rejection and valid Coq submissions

  failed:
  Verification Proof Corpora (weekly)#28:Pull request#376synchronizebyhyperpolymath
  codex/live-proof-stack-20260907

  Sep 7, 202610m 15s
  More actions for workflow run 28

• Verification Proof Corpora (weekly)

  failed:
  Verification Proof Corpora (weekly)#27:Scheduled
  main

  Aug 31, 202610m 15s
  More actions for workflow run 27

• fix(ci): unbreak workflow YAML and add a complete actions.lock

  failed:
  Verification Proof Corpora (weekly)#26:Pull request#368openedbyhyperpolymath
  fix/workflow-dependency-locking

  Aug 27, 202643m 9s
  More actions for workflow run 26

• Verification Proof Corpora (weekly)

  failed:
  Verification Proof Corpora (weekly)#25:Scheduled
  main

  Aug 24, 202610m 12s
  More actions for workflow run 25

• Verification Proof Corpora (weekly)

  failed:
  Verification Proof Corpora (weekly)#24:Scheduled
  main

  Aug 17, 202610m 12s
  More actions for workflow run 24

• Verification Proof Corpora (weekly)

  failed:
  Verification Proof Corpora (weekly)#23:Scheduled
  main

  Aug 10, 20264m 15s
  More actions for workflow run 23

• chore(licence): reconcile SPDX headers to the AGPL ruling — three-part split

  failed:
  Verification Proof Corpora (weekly)#22:Pull request#354synchronizebyhyperpolymath
  chore/licence-reconciliation-agpl

  Aug 7, 202610m 35s
  More actions for workflow run 22

• chore(licence): reconcile SPDX headers to the AGPL ruling — three-part split

  cancelled:
  Verification Proof Corpora (weekly)#21:Pull request#354synchronizebyhyperpolymath
  chore/licence-reconciliation-agpl

  Aug 7, 20267m 9s
  More actions for workflow run 21

• chore(licence): reconcile SPDX headers to the AGPL ruling — three-part split

  failed:
  Verification Proof Corpora (weekly)#20:Pull request#354synchronizebyhyperpolymath
  chore/licence-reconciliation-agpl

  Aug 7, 202610m 14s
  More actions for workflow run 20

• chore(licence): reconcile SPDX headers to the AGPL ruling — three-part split

  failed:
  Verification Proof Corpora (weekly)#19:Pull request#354openedbyhyperpolymath
  chore/licence-reconciliation-agpl

  Aug 7, 202610m 34s
  More actions for workflow run 19