Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
270 workflow runs
270 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(submodule): bump ephapax → ef9c91f (PR #35 — zero Admitted, ful… Mirror to Git Forges #270: Commit d6a3a75 pushed by hyperpolymath
1h 3m 34s main
main
1h 3m 34s
chore(submodule): bump ephapax → 9a4bfdc (PR #34 — L3009 admit closed) Mirror to Git Forges #269: Commit 0784b6c pushed by hyperpolymath
1h 23m 21s main
main
1h 23m 21s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Mirror to Git Forges #268: Commit 98859cd pushed by hyperpolymath
20m 33s main
main
20m 33s
chore: estate-wide metadata and submodule sync (2026-04-20) Mirror to Git Forges #267: Commit 04abca5 pushed by hyperpolymath
3m 12s main
main
3m 12s
Add Agda proofs for dough-kneading example Mirror to Git Forges #266: Commit 8b57f45 pushed by hyperpolymath
3m 10s main
main
3m 10s
ADR 0001: Document proof assistant choice for KitchenSpeak Mirror to Git Forges #265: Commit becb52e pushed by hyperpolymath
5m 4s main
main
5m 4s
Add KitchenSpeak DSL specification and teaching materials Mirror to Git Forges #264: Commit 6d5f90e pushed by hyperpolymath
3m 15s main
main
3m 15s
bump affinescript: 2026-04-19 session closure docs Mirror to Git Forges #263: Commit df858ab pushed by hyperpolymath
6h 15m 16s main
main
6h 15m 16s
bump affinescript: verify-boundary subcommand + exit-code fix Mirror to Git Forges #262: Commit 24a3205 pushed by hyperpolymath
6h 21m 19s main
main
6h 21m 19s
bump affinescript: fix enum-in-match + param struct-field codegen Mirror to Git Forges #261: Commit 61f69e5 pushed by hyperpolymath
6h 28m 24s main
main
6h 28m 24s
Standardize workspace: Final recursive synchronization Mirror to Git Forges #260: Commit 509d77c pushed by hyperpolymath
4h 49m 0s main
main
4h 49m 0s
chore: checkpoint local changes Mirror to Git Forges #259: Commit 9ed46c7 pushed by hyperpolymath
3h 38m 25s main
main
3h 38m 25s
Standardize workspace: Capitalize Justfile references in scripts and … Mirror to Git Forges #258: Commit 57b913f pushed by hyperpolymath
18m 46s main
main
18m 46s
Merge remote branch pr/27 into main Mirror to Git Forges #257: Commit 75c6ecc pushed by hyperpolymath
3m 9s main
main
3m 9s
Standardize workspace: Justfile migration and A2ML directive cleanup Mirror to Git Forges #256: Commit 85e50cc pushed by hyperpolymath
3m 6s main
main
3m 6s
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… Mirror to Git Forges #255: Commit 5931198 pushed by hyperpolymath
3m 6s main
main
3m 6s
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) Mirror to Git Forges #254: Commit 02f4040 pushed by hyperpolymath
3m 25s main
main
3m 25s
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) Mirror to Git Forges #253: Commit 569d10d pushed by hyperpolymath
3m 18s main
main
3m 18s
chore: bulk-commit chore-only sweep (12 other) Mirror to Git Forges #252: Commit 3fef999 pushed by hyperpolymath
9m 10s main
main
9m 10s
chore: estate-wide chore + stale-path sweep (2026-04-17) Mirror to Git Forges #251: Commit 7b8db41 pushed by hyperpolymath
1h 45m 47s main
main
1h 45m 47s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Mirror to Git Forges #250: Commit 89431ec pushed by hyperpolymath
26m 32s main
main
26m 32s
chore: update corrupted submodule julia-the-viper to latest remote HEAD Mirror to Git Forges #249: Commit 58f577b pushed by hyperpolymath
24m 9s main
main
24m 9s
chore(submodules): advance affinescript, ephapax, my-lang pointers Mirror to Git Forges #248: Commit 855750d pushed by hyperpolymath
3m 1s main
main
3m 1s
chore(submodules): advance all language pointers — opsm.toml + A2ML Mirror to Git Forges #247: Commit c7cb81d pushed by hyperpolymath
4m 28s main
main
4m 28s
chore: update Justfile + advance submodule pointers + add opsm.toml +… Mirror to Git Forges #246: Commit f084968 pushed by hyperpolymath
5m 59s main
main
5m 59s