Skip to content

Actions: hyperpolymath/typedqliser

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
28 workflow runs
28 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
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Code Quality #28: Commit 0434770 pushed by hyperpolymath
1h 52m 36s main
main
1h 52m 36s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Code Quality #27: Commit 0aafee7 pushed by hyperpolymath
1h 29m 30s main
main
1h 29m 30s
refactor(rename): VQL → VCL + verisimdb → verisim Code Quality #26: Commit 37d9c88 pushed by hyperpolymath
1m 9s main
main
1m 9s
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #25: Commit b58af11 pushed by hyperpolymath
6h 27m 25s main
main
6h 27m 25s
chore: add eclexiaiser-validate job to dogfood gate Code Quality #24: Commit 4ed9302 pushed by hyperpolymath
4h 48m 31s main
main
4h 48m 31s
chore: add eclexiaiser.toml energy-cost manifest Code Quality #23: Commit 4f0694b pushed by hyperpolymath
3h 35m 39s main
main
3h 35m 39s
docs: add TOPOLOGY.md Code Quality #22: Commit eaf35f4 pushed by hyperpolymath
2h 10m 56s main
main
2h 10m 56s
chore: add k9iser.toml (Batch 2B) Code Quality #21: Commit 3fd1ce4 pushed by hyperpolymath
2h 25m 46s main
main
2h 25m 46s
ci: deploy dogfood-gate, update CI config, add CRG tests Code Quality #20: Commit f802c36 pushed by hyperpolymath
1h 44m 15s main
main
1h 44m 15s
docs: substantive CRG C annotation (EXPLAINME.adoc) Code Quality #19: Commit c760334 pushed by hyperpolymath
42m 53s main
main
42m 53s
fix(rhodibot): automated RSR compliance fixes Code Quality #18: Pull request #1 opened by hyperpolymath
50s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
50s
Add casket pages workflow Code Quality #17: Commit 135cff5 pushed by hyperpolymath
57m 31s main
main
57m 31s
Remove template-only ABI files that falsely implied formal verification Code Quality #16: Commit 28407a2 pushed by hyperpolymath
20m 35s main
main
20m 35s
feat: add stapeln.toml layer-based container definition\n\nConverted … Code Quality #15: Commit 5ce9660 pushed by hyperpolymath
2h 9m 0s main
main
2h 9m 0s
chore: add UX infrastructure (quickstart, doctor, setup) Code Quality #14: Commit 4f5fcb7 pushed by hyperpolymath
1h 12m 48s main
main
1h 12m 48s
chore: add agent_instructions methodology layer Code Quality #13: Commit 3bccfa2 pushed by hyperpolymath
1h 42m 52s main
main
1h 42m 52s
chore: add Stapeln selur-compose.toml service definition Code Quality #12: Commit 4d4fea1 pushed by hyperpolymath
1h 30m 42s main
main
1h 30m 42s
chore: fix, Rust, lint/fmt, issues Code Quality #11: Commit 43bf7ce pushed by hyperpolymath
31m 21s main
main
31m 21s
docs: add EXPLAINME.adoc — prove-it file backing README claims Code Quality #10: Commit 85c189a pushed by hyperpolymath
32m 49s main
main
32m 49s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Code Quality #9: Commit 168e480 pushed by hyperpolymath
11m 58s main
main
11m 58s
fix: rename .github/README.adoc to DIRECTORY.adoc Code Quality #8: Commit e3a6f77 pushed by hyperpolymath
5m 49s main
main
5m 49s
test: comprehensive L3 test suite — point-to-point, end-to-end, aspects Code Quality #7: Commit fa9c580 pushed by hyperpolymath
18s main
main
18s
fix: use license-file for crates.io compatibility Code Quality #6: Commit 2ed7941 pushed by hyperpolymath
15s main
main
15s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile Code Quality #5: Commit d6f833b pushed by hyperpolymath
2m 23s main
main
2m 23s
chore(floor-raise): add foundational tool integrations Code Quality #4: Commit 4b4dda7 pushed by hyperpolymath
7m 34s main
main
7m 34s