Skip to content

Actions: hyperpolymath/halideiser

Actions

.github/workflows/dogfood-gate.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dogfood-gate.yml
122 workflow runs
122 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): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/dogfood-gate.yml #122: Commit ab6116e pushed by hyperpolymath
Failure main
main
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/dogfood-gate.yml #121: Commit a407c2e pushed by hyperpolymath
Failure fix/governance-gate-sweep
fix/governance-gate-sweep
Failure
security: re-pin secret scanner onto the real gitleaks gate (#44) .github/workflows/dogfood-gate.yml #120: Commit ec8ee09 pushed by hyperpolymath
Failure main
main
Failure
security: re-pin secret scanner onto the real gitleaks gate .github/workflows/dogfood-gate.yml #119: Commit f83af14 pushed by hyperpolymath
Failure security/real-secret-gate
security/real-secret-gate
Failure
ci: Secret Scanner caller must grant the reusable's job permissions (… .github/workflows/dogfood-gate.yml #118: Commit 13d0e80 pushed by hyperpolymath
Failure main
main
Failure
ci: grant Secret Scanner caller the reusable's job permissions .github/workflows/dogfood-gate.yml #117: Commit 857ae60 pushed by hyperpolymath
Failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Failure
fix(ci): clear OSSF Scorecard startup_failure (#42) .github/workflows/dogfood-gate.yml #116: Commit c763d82 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): clear OSSF Scorecard startup_failure (#42) .github/workflows/dogfood-gate.yml #115: Commit c763d82 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) .github/workflows/dogfood-gate.yml #114: Commit e4b799e pushed by hyperpolymath
Failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Failure
fix(clade): correct identity uuid (deterministic v5) (#41) .github/workflows/dogfood-gate.yml #113: Commit 312ce8f pushed by hyperpolymath
Failure main
main
Failure
fix(clade): correct identity uuid (deterministic v5) (#41) .github/workflows/dogfood-gate.yml #112: Commit 312ce8f pushed by hyperpolymath
Failure main
main
Failure
fix(clade): correct identity to deterministic v5 (rsr-template residue) .github/workflows/dogfood-gate.yml #111: Commit b382bf8 pushed by hyperpolymath
Failure fix/clade-uuid
fix/clade-uuid
Failure
ci: make CI genuinely green — rust-ci toolchain pin (#40) .github/workflows/dogfood-gate.yml #110: Commit 2d8a1cf pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #109: Commit f77e07f pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: sta… .github/workflows/dogfood-gate.yml #108: Commit 2c09052 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 5: end-to-end soundness capstone certificate (#39) .github/workflows/dogfood-gate.yml #107: Commit 1c0b550 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #106: Commit 950256f pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
Add Layer-5 capstone ABI soundness certificate .github/workflows/dogfood-gate.yml #105: Commit a6d3df1 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… .github/workflows/dogfood-gate.yml #104: Commit 0088171 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #103: Commit 6527543 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
abi: seal ABI<->FFI seam with Layer-4 soundness proof (Halideiser.ABI… .github/workflows/dogfood-gate.yml #102: Commit a7ba064 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… .github/workflows/dogfood-gate.yml #101: Commit 8544be8 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #100: Commit 222c50b pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
abi: add Layer-3 Invariants proof (tiling preserves result via schedu… .github/workflows/dogfood-gate.yml #99: Commit c4a040d pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) .github/workflows/dogfood-gate.yml #98: Commit 7e3f5ee pushed by hyperpolymath
Failure main
main
Failure