Skip to content

Actions: hyperpolymath/a2mliser

Actions

.github/workflows/dogfood-gate.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dogfood-gate.yml
132 workflow runs
132 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
Sync local commits to main (#47) .github/workflows/dogfood-gate.yml #132: Commit 0dc5770 pushed by hyperpolymath
-1s main
main
-1s
sweep4: add C-A-G-M files .github/workflows/dogfood-gate.yml #131: Commit 58ae8e4 pushed by hyperpolymath
Failure sync-local-updates-1784832495
sync-local-updates-1784832495
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/dogfood-gate.yml #130: Commit 01ceff9 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… .github/workflows/dogfood-gate.yml #129: Commit 6be7c7b pushed by hyperpolymath
Failure fix/governance-gate-sweep
fix/governance-gate-sweep
Failure
security: re-pin secret scanner onto the real gitleaks gate (#45) .github/workflows/dogfood-gate.yml #128: Commit 0b044f8 pushed by hyperpolymath
Failure main
main
Failure
security: re-pin secret scanner onto the real gitleaks gate .github/workflows/dogfood-gate.yml #127: Commit 30c7e37 pushed by hyperpolymath
Failure security/real-secret-gate
security/real-secret-gate
Failure
fix(ci): grant secret-scanner reusable its requested job permissions … .github/workflows/dogfood-gate.yml #126: Commit e185099 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): grant secret-scanner reusable its requested job permissions .github/workflows/dogfood-gate.yml #125: Commit 0d2912a pushed by hyperpolymath
Failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Failure
fix(ci): clear OSSF Scorecard startup_failure (#43) .github/workflows/dogfood-gate.yml #124: Commit 9e7ae73 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): clear OSSF Scorecard startup_failure (#43) .github/workflows/dogfood-gate.yml #123: Commit 9e7ae73 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) .github/workflows/dogfood-gate.yml #122: Commit ecaf38d pushed by hyperpolymath
Failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Failure
fix(clade): correct identity uuid (deterministic v5) (#42) .github/workflows/dogfood-gate.yml #121: Commit d266710 pushed by hyperpolymath
Failure main
main
Failure
fix(clade): correct identity uuid (deterministic v5) (#42) .github/workflows/dogfood-gate.yml #120: Commit d266710 pushed by hyperpolymath
Failure main
main
Failure
fix(clade): correct identity to deterministic v5 (rsr-template residue) .github/workflows/dogfood-gate.yml #119: Commit b9a493a pushed by hyperpolymath
Failure fix/clade-uuid
fix/clade-uuid
Failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… .github/workflows/dogfood-gate.yml #118: Commit c2bdb0b pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #117: Commit 31d98ee pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches veri… .github/workflows/dogfood-gate.yml #116: Commit 7fcb6ef 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 #115: Commit 890973f pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) .github/workflows/dogfood-gate.yml #114: Commit 6ebff5a pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #113: Commit 0335a3d pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
feat(abi): Layer-5 capstone ABI soundness certificate .github/workflows/dogfood-gate.yml #112: Commit a02f5a0 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 #111: Commit 2127e18 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 .github/workflows/dogfood-gate.yml #110: Commit 04da6dd pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
Add Layer-4 ABI<->FFI seam soundness proof (A2mliser.ABI.FfiSeam) .github/workflows/dogfood-gate.yml #109: Commit 7c7452a pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… .github/workflows/dogfood-gate.yml #108: Commit 8b97dda pushed by hyperpolymath
Failure main
main
Failure