Coq Proof Gate

Workflow runs for Coq Proof Gate

• fix(ci): pin third-party actions to full commit SHAs (#752)

  completed successfully:
  Coq Proof Gate#19:Commit3d8d3d8pushedbyhyperpolymath
  main

  Sep 20, 20261m 39s
  More actions for workflow run 19

• fix(ci): pin third-party actions to full commit SHAs

  completed successfully:
  Coq Proof Gate#18:Pull request#752synchronizebyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 202616m 3s
  More actions for workflow run 18

• Coq Proof Gate

  failed at startup:
  Coq Proof Gate#17:openedbyhyperpolymath
  fix/sha-pin-actions

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

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

  completed successfully:
  Coq Proof Gate#16:Commit2027684pushedbyhyperpolymath
  main

  Aug 27, 20261m 43s
  More actions for workflow run 16

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

  completed successfully:
  Coq Proof Gate#15:Pull request#728openedbyhyperpolymath
  fix/workflow-dependency-locking

  Aug 27, 20261m 33s
  More actions for workflow run 15

• Merge remote-tracking branch 'origin/hyperpolymath-patch-1'

  completed successfully:
  Coq Proof Gate#14:Commit0fa434dpushedbyhyperpolymath
  main

  Aug 18, 20262m 48s
  More actions for workflow run 14

• chore(ci): SPDX headers on line 1 and Actions lockfile minted (#717)

  completed successfully:
  Coq Proof Gate#13:Commitd728da4pushedbyhyperpolymath
  main

  Aug 7, 20266m 38s
  More actions for workflow run 13

• chore(ci): SPDX headers on line 1 and Actions lockfile minted

  completed successfully:
  Coq Proof Gate#12:Pull request#717synchronizebyhyperpolymath
  chore/ci-hygiene-lockfile-spdx

  Aug 7, 20266m 18s
  More actions for workflow run 12

• chore(ci): SPDX headers on line 1 and Actions lockfile minted

  completed successfully:
  Coq Proof Gate#11:Pull request#717synchronizebyhyperpolymath
  chore/ci-hygiene-lockfile-spdx

  Aug 7, 20261m 28s
  More actions for workflow run 11

• chore(ci): SPDX headers on line 1 and Actions lockfile minted

  completed successfully:
  Coq Proof Gate#10:Pull request#717openedbyhyperpolymath
  chore/ci-hygiene-lockfile-spdx

  Aug 7, 20261m 32s
  More actions for workflow run 10

• docs: record the Coq proof gate and the 2026-07-29 rescue session (#712)

  completed successfully:
  Coq Proof Gate#9:Commit707fd5fpushedbyhyperpolymath
  main

  Aug 3, 202612m 26s
  More actions for workflow run 9

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  Coq Proof Gate#8:Pull request#712synchronizebyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 202612m 6s
  More actions for workflow run 8

• fix(ci): repair the Coq gate on main — coqc not found (#711)

  cancelled:
  Coq Proof Gate#7:Commit7f6cb79pushedbyhyperpolymath
  main

  Aug 3, 20266m 30s
  More actions for workflow run 7

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  failed:
  Coq Proof Gate#6:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 20261m 26s
  More actions for workflow run 6

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Coq Proof Gate#5:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 20261m 36s
  More actions for workflow run 5

• Coq Proof Gate

  completed successfully:
  Coq Proof Gate#4:Manually runbyhyperpolymath
  ci/coq-proof-gate

  Jul 28, 202610m 8s
  More actions for workflow run 4

• ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709)

  failed:
  Coq Proof Gate#3:Commited4e223pushedbyhyperpolymath
  main

  Jul 28, 20261m 37s
  More actions for workflow run 3

• ci: wire the formal/ Coq proof gate into CI (Refs #513)

  failed:
  Coq Proof Gate#2:Pull request#709synchronizebyhyperpolymath
  ci/coq-proof-gate

  Jul 28, 20262m 1s
  More actions for workflow run 2

• ci: wire the formal/ Coq proof gate into CI (Refs #513)

  failed:
  Coq Proof Gate#1:Pull request#709openedbyhyperpolymath
  ci/coq-proof-gate

  Jul 28, 20261m 28s
  More actions for workflow run 1