Skip to content

Actions: edouard-claude/ironloop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
IRONLOOP v1.7: skeleton, external evidence, contract tests, exit ladder self-check #14: Commit 3a4969e pushed by edouard-claude
8s main
main
8s
.agents: resync the vendored copy, v1.4 -> v1.6 self-check #13: Commit cc0819c pushed by edouard-claude
9s main
main
9s
IRONLOOP v1.6: oracle gate, survivor taxonomy, harness as instrument self-check #12: Commit 4e32fad pushed by edouard-claude
7s main
main
7s
1-spec.md: add the sparring loop for when no spec exists yet self-check #11: Commit ad49f87 pushed by edouard-claude
8s main
main
8s
IRONLOOP v1.5: mutants as prompts, spec-derived properties, kani self-check #10: Commit b09c4dc pushed by edouard-claude
9s main
main
9s
cost.md: add a Disk Budget section, gates spend disk as well as time self-check #9: Commit d3e2515 pushed by edouard-claude
7s main
main
7s
README: flat badges, add the GitHub Actions self-check badge self-check #8: Commit c273514 pushed by edouard-claude
7s main
main
7s
Merge pull request #1 from edouard-claude/ironloop-v1.4-tdd self-check #7: Commit 28e6f4f pushed by edouard-claude
8s main
main
8s
Merge pull request #1 from edouard-claude/ironloop-v1.4-tdd self-check #6: Commit 5a25986 pushed by edouard-claude
10s main
main
10s
IRONLOOP v1.4: TDD, red tests are written in Layer 1 before generation self-check #5: Pull request #1 opened by edouard-claude
11s ironloop-v1.4-tdd
ironloop-v1.4-tdd
11s
Fix: clarify why TEST comes after GEN (not TDD), rename TDD to test-a… self-check #4: Commit 0d0a346 pushed by edouard-claude
8s main
main
8s
IRONLOOP v1.3: Rust-only, gate cost budgets, agent token ceilings, de… self-check #3: Commit e20339a pushed by edouard-claude
9s main
main
9s
IRONLOOP v1.2: accurate language claims, anti-appeasement lints, muta… self-check #2: Commit d6ed81e pushed by edouard-claude
9s main
main
9s
IRONLOOP v1.2: accurate language claims, anti-appeasement lints, muta… self-check #1: Commit a05f2c5 pushed by edouard-claude
8s main
main
8s