Skip to content

Actions: hyperpolymath/affinescript

Actions

Coq Proof Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-proof-gate.yml
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(ci): pin third-party actions to full commit SHAs (#752) Coq Proof Gate #19: Commit 3d8d3d8 pushed by hyperpolymath
1m 39s main
main
1m 39s
fix(ci): pin third-party actions to full commit SHAs Coq Proof Gate #18: Pull request #752 synchronize by hyperpolymath
16m 3s fix/sha-pin-actions
fix/sha-pin-actions
16m 3s
Coq Proof Gate Coq Proof Gate #17: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
fix(ci): unbreak workflow YAML and add a complete actions.lock (#728) Coq Proof Gate #16: Commit 2027684 pushed by hyperpolymath
1m 43s main
main
1m 43s
fix(ci): unbreak workflow YAML and add a complete actions.lock Coq Proof Gate #15: Pull request #728 opened by hyperpolymath
1m 33s fix/workflow-dependency-locking
fix/workflow-dependency-locking
1m 33s
Merge remote-tracking branch 'origin/hyperpolymath-patch-1' Coq Proof Gate #14: Commit 0fa434d pushed by hyperpolymath
2m 48s main
main
2m 48s
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#717) Coq Proof Gate #13: Commit d728da4 pushed by hyperpolymath
6m 38s main
main
6m 38s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Coq Proof Gate #12: Pull request #717 synchronize by hyperpolymath
6m 18s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
6m 18s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Coq Proof Gate #11: Pull request #717 synchronize by hyperpolymath
1m 28s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
1m 28s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Coq Proof Gate #10: Pull request #717 opened by hyperpolymath
1m 32s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
1m 32s
docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) Coq Proof Gate #9: Commit 707fd5f pushed by hyperpolymath
12m 26s main
main
12m 26s
docs: record the Coq proof gate and the 2026-07-29 rescue session Coq Proof Gate #8: Pull request #712 synchronize by hyperpolymath
12m 6s docs/state-2026-07-29
docs/state-2026-07-29
12m 6s
fix(ci): repair the Coq gate on main — coqc not found (#711) Coq Proof Gate #7: Commit 7f6cb79 pushed by hyperpolymath
6m 30s main
main
6m 30s
docs: record the Coq proof gate and the 2026-07-29 rescue session Coq Proof Gate #6: Pull request #712 opened by hyperpolymath
1m 26s docs/state-2026-07-29
docs/state-2026-07-29
1m 26s
fix(ci): repair the Coq gate on main — coqc not found Coq Proof Gate #5: Pull request #711 opened by hyperpolymath
1m 36s fix/coq-gate-container
fix/coq-gate-container
1m 36s
Coq Proof Gate Coq Proof Gate #4: Manually run by hyperpolymath
10m 8s ci/coq-proof-gate
ci/coq-proof-gate
10m 8s
ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) Coq Proof Gate #3: Commit ed4e223 pushed by hyperpolymath
1m 37s main
main
1m 37s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Coq Proof Gate #2: Pull request #709 synchronize by hyperpolymath
2m 1s ci/coq-proof-gate
ci/coq-proof-gate
2m 1s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Coq Proof Gate #1: Pull request #709 opened by hyperpolymath
1m 28s ci/coq-proof-gate
ci/coq-proof-gate
1m 28s