Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

Guix/Nix Package Policy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
guix-nix-policy.yml
325 workflow runs
325 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) Guix/Nix Package Policy #325: Commit 04abca5 pushed by hyperpolymath
18s main
main
18s
Add Agda proofs for dough-kneading example Guix/Nix Package Policy #324: Commit 8b57f45 pushed by hyperpolymath
8s main
main
8s
kitchenspeak: prove the Dough program in Agda Guix/Nix Package Policy #323: Commit 5467517 pushed by hyperpolymath
10s claude/dough-mixing-orchestration-RhdtB
claude/dough-mixing-orchestration-RhdtB
10s
ADR 0001: Document proof assistant choice for KitchenSpeak Guix/Nix Package Policy #322: Commit becb52e pushed by hyperpolymath
1m 36s main
main
1m 36s
kitchenspeak: ADR 0001 — recommend Agda as proof-assistant target Guix/Nix Package Policy #321: Commit d151e43 pushed by hyperpolymath
6s claude/dough-mixing-orchestration-RhdtB
claude/dough-mixing-orchestration-RhdtB
6s
Add KitchenSpeak DSL specification and teaching materials Guix/Nix Package Policy #320: Commit 6d5f90e pushed by hyperpolymath
9s main
main
9s
kitchenspeak: scaffold experimental DSL with class v1.0 spec Guix/Nix Package Policy #319: Commit 0a8f306 pushed by hyperpolymath
9s claude/dough-mixing-orchestration-RhdtB
claude/dough-mixing-orchestration-RhdtB
9s
bump affinescript: 2026-04-19 session closure docs Guix/Nix Package Policy #318: Commit df858ab pushed by hyperpolymath
6h 10m 45s main
main
6h 10m 45s
bump affinescript: verify-boundary subcommand + exit-code fix Guix/Nix Package Policy #317: Commit 24a3205 pushed by hyperpolymath
6h 17m 54s main
main
6h 17m 54s
bump affinescript: fix enum-in-match + param struct-field codegen Guix/Nix Package Policy #316: Commit 61f69e5 pushed by hyperpolymath
6h 11m 18s main
main
6h 11m 18s
Standardize workspace: Final recursive synchronization Guix/Nix Package Policy #315: Commit 509d77c pushed by hyperpolymath
4h 43m 32s main
main
4h 43m 32s
chore: checkpoint local changes Guix/Nix Package Policy #314: Commit 9ed46c7 pushed by hyperpolymath
3h 34m 47s main
main
3h 34m 47s
Standardize workspace: Capitalize Justfile references in scripts and … Guix/Nix Package Policy #313: Commit 57b913f pushed by hyperpolymath
11m 56s main
main
11m 56s
Merge remote branch pr/27 into main Guix/Nix Package Policy #312: Commit 75c6ecc pushed by hyperpolymath
10s main
main
10s
Standardize workspace: Justfile migration and A2ML directive cleanup Guix/Nix Package Policy #311: Commit 85e50cc pushed by hyperpolymath
1m 6s main
main
1m 6s
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… Guix/Nix Package Policy #310: Commit 5931198 pushed by hyperpolymath
33s main
main
33s
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) Guix/Nix Package Policy #309: Commit 02f4040 pushed by hyperpolymath
15s main
main
15s
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) Guix/Nix Package Policy #308: Commit 569d10d pushed by hyperpolymath
16s main
main
16s
chore: bulk-commit chore-only sweep (12 other) Guix/Nix Package Policy #307: Commit 3fef999 pushed by hyperpolymath
5m 45s main
main
5m 45s
chore: estate-wide chore + stale-path sweep (2026-04-17) Guix/Nix Package Policy #306: Commit 7b8db41 pushed by hyperpolymath
1h 41m 14s main
main
1h 41m 14s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Guix/Nix Package Policy #305: Commit 89431ec pushed by hyperpolymath
30m 39s main
main
30m 39s
chore: update corrupted submodule julia-the-viper to latest remote HEAD Guix/Nix Package Policy #304: Commit 58f577b pushed by hyperpolymath
20m 50s main
main
20m 50s
chore(submodules): advance affinescript, ephapax, my-lang pointers Guix/Nix Package Policy #303: Commit 855750d pushed by hyperpolymath
8s main
main
8s
chore(submodules): advance all language pointers — opsm.toml + A2ML Guix/Nix Package Policy #302: Commit c7cb81d pushed by hyperpolymath
1m 42s main
main
1m 42s
chore: update Justfile + advance submodule pointers + add opsm.toml +… Guix/Nix Package Policy #301: Commit f084968 pushed by hyperpolymath
2m 7s main
main
2m 7s