Skip to content

Actions: hyperpolymath/dafniser

Actions

Dogfood Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dogfood-gate.yml
143 workflow runs
143 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
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: sta… Dogfood Gate #118: Commit 7f66935 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 5: end-to-end soundness capstone certificate (#42) Dogfood Gate #117: Commit e01c139 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 Dogfood Gate #116: Commit fa76eba pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
feat(abi): add Layer-5 capstone ABI soundness certificate Dogfood Gate #115: Commit 7c6b4b1 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 (… Dogfood Gate #114: Commit 87eae14 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 Dogfood Gate #113: Commit 6908516 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
abi: seal ABI<->FFI seam with Layer 4 soundness proof (Dafniser.ABI.F… Dogfood Gate #112: Commit 33621d7 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 3: min correct-by-construction + max commutativity/idempote… Dogfood Gate #111: Commit bdc16b1 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/new-session-znxgm7 Dogfood Gate #110: Commit dcfcbdf pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
abi(dafniser): add Layer-3 Invariants — dual min, commutativity, min/… Dogfood Gate #109: Commit 8e3f444 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ABI Layer 2: prove generated max is correct-by-construction (flagsh… Dogfood Gate #108: Commit 05482ff pushed by hyperpolymath
Failure main
main
Failure
feat(abi): prove correct-by-construction max meets its Dafny postcond… Dogfood Gate #107: Commit 5dc3cc9 pushed by hyperpolymath
Failure claude/new-session-znxgm7
claude/new-session-znxgm7
Failure
ci: refresh standards reusable pins to current HEAD (d7c2271) (#38) Dogfood Gate #106: Commit 78da95e pushed by hyperpolymath
Failure main
main
Failure
ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464) Dogfood Gate #105: Commit abdacf8 pushed by hyperpolymath
Failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Failure
ci: re-pin governance reusable to standards HEAD d7c2271 (hypatia#464) Dogfood Gate #104: Commit 030fe3f pushed by hyperpolymath
Failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Failure
ci: re-pin hypatia-scan reusable to standards HEAD d7c2271 (hypatia#464) Dogfood Gate #103: Commit 3d21b19 pushed by hyperpolymath
Failure ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
Failure
P1: export missing ABI function + add ABI↔FFI gate (#37) Dogfood Gate #102: Commit 010ba9a pushed by hyperpolymath
Failure main
main
Failure
P1: export missing ABI function + add ABI↔FFI gate (#37) Dogfood Gate #101: Commit 010ba9a pushed by hyperpolymath
Failure main
main
Failure
P1: export missing ABI function + add ABI↔FFI gate Dogfood Gate #100: Commit c88c9b8 pushed by hyperpolymath
Failure claude/new-session-1fphit
claude/new-session-1fphit
Failure
Auto-install pinned Zig toolchain in setup + devcontainer (#36) Dogfood Gate #99: Commit ea169ef pushed by hyperpolymath
Failure main
main
Failure
Auto-install pinned Zig toolchain in setup + devcontainer Dogfood Gate #98: Commit 9a1fd5e pushed by hyperpolymath
Failure claude/new-session-1fphit
claude/new-session-1fphit
Failure
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Dogfood Gate #97: Commit cd7a53c pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/iseriser-proofs-review-rtdcwb Dogfood Gate #96: Commit 2a040ed pushed by hyperpolymath
Failure claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
Failure
fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0… Dogfood Gate #95: Commit 6e6247e pushed by hyperpolymath
Failure claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
Failure
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#34) Dogfood Gate #94: Commit ec9cd6a pushed by hyperpolymath
Failure main
main
Failure