Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
438 workflow runs
438 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): regenerate actions.lock for codeql-action v4.38.1 and wiki-s… Rust CI #413: Commit 5613b0e pushed by hyperpolymath
2m 56s main
main
2m 56s
fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-sync Rust CI #412: Pull request #178 synchronize by hyperpolymath
3m 30s chore/refresh-actions-lock
chore/refresh-actions-lock
3m 30s
fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-sync Rust CI #411: Pull request #178 opened by hyperpolymath
3m 31s chore/refresh-actions-lock
chore/refresh-actions-lock
3m 31s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Rust CI #410: Pull request #177 opened by hyperpolymath
2m 53s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
2m 53s
fix: resolve repository issues, port Lean FilesystemCNO, and unify Co… Rust CI #409: Commit b7c780f pushed by hyperpolymath
3m 25s main
main
3m 25s
fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags Rust CI #408: Pull request #174 opened by arena-ai-coding-agent Bot
3m 17s arena/01a0df23-absolute-zero
arena/01a0df23-absolute-zero
3m 17s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… Rust CI #407: Commit 3e959cb pushed by hyperpolymath
2m 17s main
main
2m 17s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the actions group Rust CI #406: Pull request #173 opened by dependabot Bot
2m 37s dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
2m 37s
proofs: honest prover gate — absent prover = fail, z3 expect-checked,… Rust CI #405: Commit 877ede2 pushed by hyperpolymath
3m 16s main
main
3m 16s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Rust CI #404: Pull request #172 synchronize by hyperpolymath
3m 37s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
3m 37s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Rust CI #403: Pull request #172 synchronize by coderabbitai Bot
3m 34s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
3m 34s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Rust CI #402: Pull request #172 synchronize by coderabbitai Bot
3m 29s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
3m 29s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Rust CI #401: Pull request #172 opened by hyperpolymath
3m 24s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
3m 24s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) (#169) Rust CI #400: Commit dd87b48 pushed by hyperpolymath
11m 10s main
main
11m 10s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) Rust CI #399: Pull request #169 opened by hyperpolymath
5m 43s fix/168-scorecard-caller
fix/168-scorecard-caller
5m 43s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axi… Rust CI #398: Commit 828399a pushed by hyperpolymath
2m 28s main
main
2m 28s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job Rust CI #397: Pull request #165 synchronize by coderabbitai Bot
3m 48s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
3m 48s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job Rust CI #396: Pull request #165 synchronize by hyperpolymath
3m 24s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
3m 24s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job Rust CI #395: Pull request #165 opened by hyperpolymath
2m 56s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
2m 56s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governa… Rust CI #394: Commit 3c8796a pushed by hyperpolymath
3m 27s main
main
3m 27s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governance to standards@fad242d3 (#163) Rust CI #393: Pull request #164 opened by hyperpolymath
3m 29s fix/160-163-cure-main-reds
fix/160-163-cure-main-reds
3m 29s
fix(ci): reconcile actions.lock so the lockfile validates (#159) Rust CI #392: Commit 74202cb pushed by hyperpolymath
8h 50m 53s main
main
8h 50m 53s
fix(ci): reconcile actions.lock so the lockfile validates Rust CI #391: Pull request #159 opened by hyperpolymath
3h 42m 26s fix/lockfile-reconcile
fix/lockfile-reconcile
3h 42m 26s
fix(ci): correct reusable-workflow caller permissions and inputs (#158) Rust CI #390: Commit a551037 pushed by hyperpolymath
6m 57s main
main
6m 57s
fix(ci): correct reusable-workflow caller permissions and inputs Rust CI #389: Pull request #158 opened by hyperpolymath
2m 37s fix/reusable-caller-permissions-3
fix/reusable-caller-permissions-3
2m 37s