Skip to content

Actions: hyperpolymath/rescript-tea

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
75 workflow runs
75 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
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #50: Commit 60ab454 pushed by hyperpolymath
6h 14m 33s main
main
6h 14m 33s
docs: add CHANGELOG entry for session 9 test enhancements Code Quality #49: Commit 6c34cfe pushed by hyperpolymath
5h 14m 52s main
main
5h 14m 52s
docs: update TEST-NEEDS.md with session 9 E2E CI additions Code Quality #48: Commit 6b93b5f pushed by hyperpolymath
5h 8m 8s main
main
5h 8m 8s
ci: add E2E/property/aspect CI workflow Code Quality #47: Commit 287a9b0 pushed by hyperpolymath
5h 7m 4s main
main
5h 7m 4s
chore: add eclexiaiser-validate job to dogfood gate Code Quality #46: Commit 49fb83c pushed by hyperpolymath
4h 44m 26s main
main
4h 44m 26s
chore: add eclexiaiser.toml energy-cost manifest Code Quality #45: Commit 1390b82 pushed by hyperpolymath
3h 20m 35s main
main
3h 20m 35s
docs: add TOPOLOGY.md Code Quality #44: Commit 8795257 pushed by hyperpolymath
2h 18m 45s main
main
2h 18m 45s
chore: add k9iser.toml (Batch 2C) Code Quality #43: Commit bd5d8a1 pushed by hyperpolymath
2h 34m 1s main
main
2h 34m 1s
ci: deploy dogfood-gate, add Groove manifest, K9 contracts, CRG tests Code Quality #42: Commit d4cda6e pushed by hyperpolymath
1h 50m 58s main
main
1h 50m 58s
docs: substantive CRG C annotation (EXPLAINME.adoc) Code Quality #41: Commit 9d7669f pushed by hyperpolymath
35m 32s main
main
35m 32s
Add casket pages workflow Code Quality #40: Commit d65e5e7 pushed by hyperpolymath
50m 47s main
main
50m 47s
Remove template-only ABI files that falsely implied formal verification Code Quality #39: Commit 799d8f7 pushed by hyperpolymath
16m 25s main
main
16m 25s
chore: replace template placeholder in ROADMAP.adoc with project name Code Quality #38: Commit cbfa224 pushed by hyperpolymath
21m 43s main
main
21m 43s
feat: add stapeln.toml layer-based container definition\n\nConverted … Code Quality #37: Commit d11a75d pushed by hyperpolymath
2h 1m 41s main
main
2h 1m 41s
chore: add UX infrastructure (quickstart, doctor, setup) Code Quality #36: Commit 7f0199e pushed by hyperpolymath
1h 7m 47s main
main
1h 7m 47s
chore: untrack ReScript compiler artifacts (.cmt/.cmti/.cmi) Code Quality #35: Commit 555087c pushed by hyperpolymath
13s main
main
13s
chore: Resolve sync conflicts Code Quality #34: Commit c4d47ca pushed by hyperpolymath
20s master
master
20s
chore: batch RSR compliance (#2) Code Quality #33: Commit 20b1587 pushed by hyperpolymath
15s main
main
15s
chore: batch RSR compliance Code Quality #32: Pull request #2 synchronize by hyperpolymath
27s chore/cicd-optimizations
chore/cicd-optimizations
27s
Merge branch 'main' into chore/cicd-optimizations Code Quality #31: Commit 32c3b55 pushed by hyperpolymath
13s chore/cicd-optimizations
chore/cicd-optimizations
13s
chore: add Stapeln selur-compose.toml service definition Code Quality #30: Commit 1423f19 pushed by hyperpolymath
1h 30m 19s main
main
1h 30m 19s
chore: add agent_instructions methodology layer Code Quality #29: Commit d80a859 pushed by hyperpolymath
1h 24m 37s main
main
1h 24m 37s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Code Quality #28: Commit 1bf9749 pushed by hyperpolymath
29m 46s main
main
29m 46s
docs: add EXPLAINME.adoc — prove-it file backing README claims Code Quality #27: Commit 3743c60 pushed by hyperpolymath
42m 7s main
main
42m 7s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Code Quality #26: Commit c7bc2f3 pushed by hyperpolymath
11m 25s chore/cicd-optimizations
chore/cicd-optimizations
11m 25s