Skip to content

Actions: hyperpolymath/tlaiser

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #24: Commit 589c3f6 pushed by hyperpolymath
6h 23m 16s main
main
6h 23m 16s
chore: add eclexiaiser-validate job to dogfood gate Code Quality #23: Commit e233c05 pushed by hyperpolymath
4h 50m 8s main
main
4h 50m 8s
chore: add eclexiaiser.toml energy-cost manifest Code Quality #22: Commit df1b25f pushed by hyperpolymath
3h 31m 11s main
main
3h 31m 11s
docs: add TOPOLOGY.md Code Quality #21: Commit 7136b52 pushed by hyperpolymath
2h 2m 15s main
main
2h 2m 15s
chore: add k9iser.toml (Batch 2B) Code Quality #20: Commit 517f6e0 pushed by hyperpolymath
2h 26m 31s main
main
2h 26m 31s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Code Quality #19: Commit a009448 pushed by hyperpolymath
1h 27m 21s main
main
1h 27m 21s
docs: add TEST-NEEDS.md (CRG C) Code Quality #18: Commit 6c3c399 pushed by hyperpolymath
39m 34s main
main
39m 34s
fix(rhodibot): automated RSR compliance fixes Code Quality #17: Pull request #1 opened by hyperpolymath
35s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
35s
Add casket pages workflow Code Quality #16: Commit c82014f pushed by hyperpolymath
58m 21s main
main
58m 21s
feat: add stapeln.toml layer-based container definition\n\nConverted … Code Quality #15: Commit a18d7ca pushed by hyperpolymath
2h 1m 48s main
main
2h 1m 48s
chore: add UX infrastructure (quickstart, doctor, setup) Code Quality #14: Commit 6ac11ab pushed by hyperpolymath
1h 11m 39s main
main
1h 11m 39s
chore: add agent_instructions methodology layer Code Quality #13: Commit c4c86c9 pushed by hyperpolymath
1h 39m 24s main
main
1h 39m 24s
chore: add Stapeln selur-compose.toml service definition Code Quality #12: Commit df2760c pushed by hyperpolymath
1h 33m 40s main
main
1h 33m 40s
chore: fix, Rust, lint/fmt, issues Code Quality #11: Commit 6896c4a pushed by hyperpolymath
28m 55s main
main
28m 55s
docs: add EXPLAINME.adoc — prove-it file backing README claims Code Quality #10: Commit db67604 pushed by hyperpolymath
31m 48s main
main
31m 48s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Code Quality #9: Commit f96dcb8 pushed by hyperpolymath
14m 4s main
main
14m 4s
fix: rename .github/README.adoc to DIRECTORY.adoc Code Quality #8: Commit f489a44 pushed by hyperpolymath
5m 7s main
main
5m 7s
fix: use license-file for crates.io compatibility Code Quality #7: Commit d9040e0 pushed by hyperpolymath
19s main
main
19s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile Code Quality #6: Commit 1381152 pushed by hyperpolymath
1m 45s main
main
1m 45s
feat: implement Phase 1 — TLA+/PlusCal state machine codegen pipeline Code Quality #5: Commit 60489ed pushed by hyperpolymath
17s main
main
17s
docs: replace template placeholders with bespoke TLAiser content Code Quality #4: Commit 65e6fd9 pushed by hyperpolymath
15s main
main
15s
chore(floor-raise): add foundational tool integrations Code Quality #3: Commit b72d218 pushed by hyperpolymath
6m 2s main
main
6m 2s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… Code Quality #2: Commit d9a9cdb pushed by hyperpolymath
1m 8s main
main
1m 8s
Initial commit: Tlaiser — Extract state machines from code and model-… Code Quality #1: Commit bb59f19 pushed by hyperpolymath
19s main
main
19s