Skip to content

Actions: hyperpolymath/idrisiser

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add Stapeln selur-compose.toml service definition Mirror to Git Forges #15: Commit 3ac1028 pushed by hyperpolymath
Skipped main
main
Skipped
chore: add agent_instructions methodology layer Mirror to Git Forges #14: Commit 8c2ccd5 pushed by hyperpolymath
1s main
main
1s
chore: fix, Rust, lint/fmt, issues Mirror to Git Forges #13: Commit 892b4e6 pushed by hyperpolymath
1s main
main
1s
docs: add EXPLAINME.adoc — prove-it file backing README claims Mirror to Git Forges #12: Commit 8126546 pushed by hyperpolymath
1s main
main
1s
Mirror to Git Forges Mirror to Git Forges #11: Manually run by hyperpolymath
2s main
main
2s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Mirror to Git Forges #10: Commit 0b3549c pushed by hyperpolymath
2s main
main
2s
fix: rename .github/README.adoc to DIRECTORY.adoc Mirror to Git Forges #9: Commit 0f8041e pushed by hyperpolymath
1s main
main
1s
fix: use license-file for crates.io compatibility Mirror to Git Forges #8: Commit 97c34c7 pushed by hyperpolymath
1s main
main
1s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile Mirror to Git Forges #7: Commit 4335d1e pushed by hyperpolymath
1s main
main
1s
test: comprehensive test suite — point-to-point, end-to-end, edge cas… Mirror to Git Forges #6: Commit db2c6d1 pushed by hyperpolymath
1s main
main
1s
feat: idrisiser Phase 1 — interface parser, Idris2 codegen, Zig bridg… Mirror to Git Forges #5: Commit 9174471 pushed by hyperpolymath
1s main
main
1s
docs: bespoke documentation for idrisiser meta-prover Mirror to Git Forges #4: Commit e47d128 pushed by hyperpolymath
1s main
main
1s
chore(floor-raise): add foundational tool integrations Mirror to Git Forges #3: Commit e657d30 pushed by hyperpolymath
2s main
main
2s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… Mirror to Git Forges #2: Commit c7fb6b2 pushed by hyperpolymath
1s main
main
1s
Initial commit: Idrisiser — Generate proven-correct wrappers from int… Mirror to Git Forges #1: Commit ecbe4d6 pushed by hyperpolymath
Skipped main
main
Skipped