Skip to content

Actions: hyperpolymath/verisimdb

Actions

Coq Build Oracle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-build.yml
44 workflow runs
44 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
chore(deps): bump the actions group with 4 updates (#184) Coq Build Oracle #44: Commit c2ce48b pushed by hyperpolymath
38s main
main
38s
chore(deps): bump the actions group with 4 updates Coq Build Oracle #43: Pull request #184 opened by dependabot Bot
31s dependabot/github_actions/actions-967e927887
dependabot/github_actions/actions-967e927887
31s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Coq Build Oracle #42: Commit 50c692e pushed by hyperpolymath
18h 37m 17s main
main
18h 37m 17s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Coq Build Oracle #41: Pull request #159 opened by hyperpolymath
18h 34m 50s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 34m 50s
build(deps): Bump actions/checkout in the actions group Coq Build Oracle #40: Commit 1fee6ee pushed by hyperpolymath
29s main
main
29s
build(deps): Bump actions/checkout from 6.0.3 to 7.0.0 in the actions group Coq Build Oracle #39: Pull request #152 opened by dependabot Bot
1h 0m 22s dependabot/github_actions/actions-2217aebe03
dependabot/github_actions/actions-2217aebe03
1h 0m 22s
docs: VCL rename — bare-VQL doc-token sweep (#84) Coq Build Oracle #38: Commit 7dedbb2 pushed by hyperpolymath
41s main
main
41s
docs: VCL rename — bare-VQL doc-token sweep (#84) Coq Build Oracle #37: Pull request #143 opened by hyperpolymath
1m 19s vcl/rename-doc-token-sweep
vcl/rename-doc-token-sweep
1m 19s
docs(#84): VCL rename stage A — reframe language prose, rename 9 vql-… Coq Build Oracle #36: Commit de9ff4d pushed by hyperpolymath
30s main
main
30s
docs(#84): VCL rename stage A — language prose reframe + 9 doc-file renames + doc-drift gate Coq Build Oracle #35: Pull request #134 opened by hyperpolymath
35s vcl/rename-docs
vcl/rename-docs
35s
ci(workflows): add timeout-minutes (steps jobs only) + SHA-pin action… Coq Build Oracle #34: Commit 73221e9 pushed by hyperpolymath
30s main
main
30s
ci(workflows): timeout-minutes + SHA-pinned actions Coq Build Oracle #33: Pull request #131 opened by hyperpolymath
32s ci/workflow-hardening
ci/workflow-hardening
32s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) (#… Coq Build Oracle #32: Commit 71d2c7f pushed by hyperpolymath
40s main
main
40s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #31: Pull request #109 synchronize by hyperpolymath
51s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
51s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #30: Pull request #109 synchronize by hyperpolymath
35s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
35s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #29: Pull request #109 synchronize by hyperpolymath
35s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
35s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #28: Pull request #109 synchronize by hyperpolymath
32s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
32s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #27: Pull request #109 synchronize by hyperpolymath
50s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
50s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #26: Pull request #109 synchronize by hyperpolymath
34s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
34s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #25: Pull request #109 synchronize by hyperpolymath
37s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
37s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #24: Pull request #109 synchronize by hyperpolymath
42s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
42s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #23: Pull request #109 synchronize by hyperpolymath
42s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
42s
proofs(octad): mechanise octad modality algebra (O-series + R1–R3) Coq Build Oracle #22: Pull request #109 opened by hyperpolymath
40s claude/kind-hamilton-Q1nuk
claude/kind-hamilton-Q1nuk
40s
build(deps): Bump the actions group with 3 updates (#108) Coq Build Oracle #21: Commit 2704e0a pushed by hyperpolymath
47s main
main
47s
build(deps): Bump the actions group with 3 updates Coq Build Oracle #20: Pull request #108 opened by dependabot Bot
38s dependabot/github_actions/actions-f5025dba99
dependabot/github_actions/actions-f5025dba99
38s