Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
63 workflow runs
63 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: estate-wide metadata and submodule sync (2026-04-20) GitHub Pages #63: Commit 04abca5 pushed by hyperpolymath
11s main
main
11s
Add Agda proofs for dough-kneading example GitHub Pages #62: Commit 8b57f45 pushed by hyperpolymath
11s main
main
11s
ADR 0001: Document proof assistant choice for KitchenSpeak GitHub Pages #61: Commit becb52e pushed by hyperpolymath
1m 25s main
main
1m 25s
Add KitchenSpeak DSL specification and teaching materials GitHub Pages #60: Commit 6d5f90e pushed by hyperpolymath
10s main
main
10s
bump affinescript: 2026-04-19 session closure docs GitHub Pages #59: Commit df858ab pushed by hyperpolymath
6h 26m 36s main
main
6h 26m 36s
bump affinescript: verify-boundary subcommand + exit-code fix GitHub Pages #58: Commit 24a3205 pushed by hyperpolymath
7m 9s main
main
7m 9s
bump affinescript: fix enum-in-match + param struct-field codegen GitHub Pages #57: Commit 61f69e5 pushed by hyperpolymath
8m 3s main
main
8m 3s
Standardize workspace: Final recursive synchronization GitHub Pages #56: Commit 509d77c pushed by hyperpolymath
7h 6m 3s main
main
7h 6m 3s
chore: checkpoint local changes GitHub Pages #55: Commit 9ed46c7 pushed by hyperpolymath
3h 34m 47s main
main
3h 34m 47s
Standardize workspace: Capitalize Justfile references in scripts and … GitHub Pages #54: Commit 57b913f pushed by hyperpolymath
5m 52s main
main
5m 52s
Merge remote branch pr/27 into main GitHub Pages #53: Commit 75c6ecc pushed by hyperpolymath
17s main
main
17s
Standardize workspace: Justfile migration and A2ML directive cleanup GitHub Pages #52: Commit 85e50cc pushed by hyperpolymath
7s main
main
7s
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… GitHub Pages #51: Commit 5931198 pushed by hyperpolymath
21s main
main
21s
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) GitHub Pages #50: Commit 02f4040 pushed by hyperpolymath
8s main
main
8s
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) GitHub Pages #49: Commit 569d10d pushed by hyperpolymath
11s main
main
11s
chore: bulk-commit chore-only sweep (12 other) GitHub Pages #48: Commit 3fef999 pushed by hyperpolymath
6m 7s main
main
6m 7s
chore: estate-wide chore + stale-path sweep (2026-04-17) GitHub Pages #47: Commit 7b8db41 pushed by hyperpolymath
1h 41m 33s main
main
1h 41m 33s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback GitHub Pages #46: Commit 89431ec pushed by hyperpolymath
25m 51s main
main
25m 51s
chore: update corrupted submodule julia-the-viper to latest remote HEAD GitHub Pages #45: Commit 58f577b pushed by hyperpolymath
20m 28s main
main
20m 28s
chore(submodules): advance affinescript, ephapax, my-lang pointers GitHub Pages #44: Commit 855750d pushed by hyperpolymath
12s main
main
12s
chore(submodules): advance all language pointers — opsm.toml + A2ML GitHub Pages #43: Commit c7cb81d pushed by hyperpolymath
36s main
main
36s
chore: update Justfile + advance submodule pointers + add opsm.toml +… GitHub Pages #42: Commit f084968 pushed by hyperpolymath
3m 52s main
main
3m 52s
chore(submodules): advance wokelang pointer — λ_consent safety proofs… GitHub Pages #41: Commit 182de3c pushed by hyperpolymath
9m 45s main
main
9m 45s
chore(submodules): advance affinescript pointer — Stage 9+10 linearit… GitHub Pages #40: Commit ea9bd0c pushed by hyperpolymath
8m 56s main
main
8m 56s
chore(submodules): advance eclexia pointer — LP axiom proof sketches GitHub Pages #39: Commit 4ec68bb pushed by hyperpolymath
22s main
main
22s