Skip to content

Actions: hyperpolymath/error-lang

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
68 workflow runs
68 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
Sync local commits to main (#48) GitHub Pages #68: Commit 3fb8c86 pushed by hyperpolymath
1h 40m 11s main
main
1h 40m 11s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #67: Commit dc4c018 pushed by hyperpolymath
1h 23m 15s main
main
1h 23m 15s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… GitHub Pages #66: Commit c48ef4d pushed by hyperpolymath
19m 34s main
main
19m 34s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#45) GitHub Pages #65: Commit 4ed56cb pushed by hyperpolymath
15m 24s main
main
15m 24s
docs(readme): convert README.adoc -> Markdown README.md (#44) GitHub Pages #64: Commit 6e4d0ca pushed by hyperpolymath
58m 6s main
main
58m 6s
Remove dormant ReScript compiler; wire AffineScript CI gate (#43) GitHub Pages #63: Commit 7484e98 pushed by hyperpolymath
22h 30m 9s main
main
22h 30m 9s
ide: migrate Studio to AffineScript; add affinescript-dom licensing p… GitHub Pages #62: Commit aca18a9 pushed by hyperpolymath
28m 57s main
main
28m 57s
chore(ci): add dormant push-email notification workflow (#41) GitHub Pages #61: Commit 0e657e3 pushed by hyperpolymath
1h 50m 49s main
main
1h 50m 49s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#40) GitHub Pages #60: Commit 5ac8bdc pushed by hyperpolymath
10h 7m 51s main
main
10h 7m 51s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#39) GitHub Pages #59: Commit b2b0020 pushed by hyperpolymath
15m 19s main
main
15m 19s
Claude/youthful fermat 90bhhu (#38) GitHub Pages #58: Commit 3693811 pushed by hyperpolymath
25m 58s main
main
25m 58s
Claude/ci workflow hardening (#37) GitHub Pages #57: Commit f728315 pushed by hyperpolymath
11s main
main
11s
Claude/affinescript error lang proofs r mh9s (#36) GitHub Pages #56: Commit 0e44905 pushed by hyperpolymath
13s main
main
13s
Claude/ci workflow hardening (#33) GitHub Pages #55: Commit 0f0fb90 pushed by hyperpolymath
30m 5s main
main
30m 5s
Claude/youthful fermat 90bhhu (#35) GitHub Pages #54: Commit 0d55f86 pushed by hyperpolymath
20s main
main
20s
Claude/affinescript error lang proofs r mh9s (#34) GitHub Pages #53: Commit 0f32d32 pushed by hyperpolymath
15m 22s main
main
15m 22s
cleanup: drop dead ReScript/TS duplicates; LSP via affinescript serve… GitHub Pages #52: Commit 4fffd68 pushed by hyperpolymath
24m 51s main
main
24m 51s
ci: refresh stale standards workflow pins (unblock the staleness gate… GitHub Pages #51: Commit 180c1cf pushed by hyperpolymath
15m 21s main
main
15m 21s
ReScript→AffineScript migration: finish the compiler/src port (module… GitHub Pages #50: Commit b5b124a pushed by hyperpolymath
15m 29s main
main
15m 29s
ReScript→AffineScript migration: Parser + TypeChecker + TypeSuperposi… GitHub Pages #49: Commit 99ed0b6 pushed by hyperpolymath
15m 20s main
main
15m 20s
ReScript→AffineScript migration: Cst.affine (module 3) (#28) GitHub Pages #48: Commit 5c3a0b3 pushed by hyperpolymath
17m 40s main
main
17m 40s
ReScript→AffineScript migration: Lexer.affine (module 2) (#27) GitHub Pages #47: Commit 2821914 pushed by hyperpolymath
15m 20s main
main
15m 20s
ReScript→AffineScript migration: toolchain + Types.affine (module 1 o… GitHub Pages #46: Commit 727c428 pushed by hyperpolymath
15m 20s main
main
15m 20s
Design: Error-Lang as a Trope IR front end (trope-particularity integ… GitHub Pages #45: Commit 4766c27 pushed by hyperpolymath
15m 22s main
main
15m 22s
error-lang: replace fabricated ABI "proofs" with machine-checked ones… GitHub Pages #44: Commit ac3340f pushed by hyperpolymath
15m 22s main
main
15m 22s