Skip to content

Actions: hyperpolymath/idrisiser

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add casket pages workflow Instant Sync #17: Commit eeb5fd1 pushed by hyperpolymath
29m 4s main
main
29m 4s
feat: add stapeln.toml layer-based container definition\n\nConverted … Instant Sync #16: Commit 3c6a320 pushed by hyperpolymath
1h 38m 14s main
main
1h 38m 14s
chore: add UX infrastructure (quickstart, doctor, setup) Instant Sync #15: Commit 01d46b2 pushed by hyperpolymath
44m 1s main
main
44m 1s
chore: add Stapeln selur-compose.toml service definition Instant Sync #14: Commit 3ac1028 pushed by hyperpolymath
1h 12m 19s main
main
1h 12m 19s
chore: add agent_instructions methodology layer Instant Sync #13: Commit 8c2ccd5 pushed by hyperpolymath
38m 38s main
main
38m 38s
chore: fix, Rust, lint/fmt, issues Instant Sync #12: Commit 892b4e6 pushed by hyperpolymath
12m 58s main
main
12m 58s
docs: add EXPLAINME.adoc — prove-it file backing README claims Instant Sync #11: Commit 8126546 pushed by hyperpolymath
20m 7s main
main
20m 7s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Instant Sync #10: Commit 0b3549c pushed by hyperpolymath
5m 24s main
main
5m 24s
fix: rename .github/README.adoc to DIRECTORY.adoc Instant Sync #9: Commit 0f8041e pushed by hyperpolymath
1m 26s main
main
1m 26s
fix: use license-file for crates.io compatibility Instant Sync #8: Commit 97c34c7 pushed by hyperpolymath
6s main
main
6s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile Instant Sync #7: Commit 4335d1e pushed by hyperpolymath
20s main
main
20s
test: comprehensive test suite — point-to-point, end-to-end, edge cas… Instant Sync #6: Commit db2c6d1 pushed by hyperpolymath
6s main
main
6s
feat: idrisiser Phase 1 — interface parser, Idris2 codegen, Zig bridg… Instant Sync #5: Commit 9174471 pushed by hyperpolymath
7s main
main
7s
docs: bespoke documentation for idrisiser meta-prover Instant Sync #4: Commit e47d128 pushed by hyperpolymath
6s main
main
6s
chore(floor-raise): add foundational tool integrations Instant Sync #3: Commit e657d30 pushed by hyperpolymath
4m 38s main
main
4m 38s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… Instant Sync #2: Commit c7fb6b2 pushed by hyperpolymath
1m 15s main
main
1m 15s
Initial commit: Idrisiser — Generate proven-correct wrappers from int… Instant Sync #1: Commit ecbe4d6 pushed by hyperpolymath
Failure main
main
Failure