Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

.github/workflows/instant-sync.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
234 workflow runs
234 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/workflows/instant-sync.yml #234: Commit 04abca5 pushed by hyperpolymath
Failure main
main
Failure
Add Agda proofs for dough-kneading example .github/workflows/instant-sync.yml #233: Commit 8b57f45 pushed by hyperpolymath
Failure main
main
Failure
kitchenspeak: prove the Dough program in Agda .github/workflows/instant-sync.yml #232: Commit 5467517 pushed by hyperpolymath
Failure claude/dough-mixing-orchestration-RhdtB
claude/dough-mixing-orchestration-RhdtB
Failure
ADR 0001: Document proof assistant choice for KitchenSpeak .github/workflows/instant-sync.yml #231: Commit becb52e pushed by hyperpolymath
Failure main
main
Failure
kitchenspeak: ADR 0001 — recommend Agda as proof-assistant target .github/workflows/instant-sync.yml #230: Commit d151e43 pushed by hyperpolymath
Failure claude/dough-mixing-orchestration-RhdtB
claude/dough-mixing-orchestration-RhdtB
Failure
Add KitchenSpeak DSL specification and teaching materials .github/workflows/instant-sync.yml #229: Commit 6d5f90e pushed by hyperpolymath
Failure main
main
Failure
kitchenspeak: scaffold experimental DSL with class v1.0 spec .github/workflows/instant-sync.yml #228: Commit 0a8f306 pushed by hyperpolymath
Failure claude/dough-mixing-orchestration-RhdtB
claude/dough-mixing-orchestration-RhdtB
Failure
bump affinescript: 2026-04-19 session closure docs .github/workflows/instant-sync.yml #227: Commit df858ab pushed by hyperpolymath
Failure main
main
Failure
bump affinescript: verify-boundary subcommand + exit-code fix .github/workflows/instant-sync.yml #226: Commit 24a3205 pushed by hyperpolymath
Failure main
main
Failure
bump affinescript: fix enum-in-match + param struct-field codegen .github/workflows/instant-sync.yml #225: Commit 61f69e5 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Final recursive synchronization .github/workflows/instant-sync.yml #224: Commit 509d77c pushed by hyperpolymath
Failure main
main
Failure
chore: checkpoint local changes .github/workflows/instant-sync.yml #223: Commit 9ed46c7 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Capitalize Justfile references in scripts and … .github/workflows/instant-sync.yml #222: Commit 57b913f pushed by hyperpolymath
Failure main
main
Failure
Merge remote branch pr/27 into main .github/workflows/instant-sync.yml #221: Commit 75c6ecc pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Justfile migration and A2ML directive cleanup .github/workflows/instant-sync.yml #220: Commit 85e50cc pushed by hyperpolymath
Failure main
main
Failure
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… .github/workflows/instant-sync.yml #219: Commit 5931198 pushed by hyperpolymath
Failure main
main
Failure
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) .github/workflows/instant-sync.yml #218: Commit 02f4040 pushed by hyperpolymath
Failure main
main
Failure
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) .github/workflows/instant-sync.yml #217: Commit 569d10d pushed by hyperpolymath
Failure main
main
Failure
chore: bulk-commit chore-only sweep (12 other) .github/workflows/instant-sync.yml #216: Commit 3fef999 pushed by hyperpolymath
Failure main
main
Failure
chore: estate-wide chore + stale-path sweep (2026-04-17) .github/workflows/instant-sync.yml #215: Commit 7b8db41 pushed by hyperpolymath
Failure main
main
Failure
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback .github/workflows/instant-sync.yml #214: Commit 89431ec pushed by hyperpolymath
Failure main
main
Failure
chore: update corrupted submodule julia-the-viper to latest remote HEAD .github/workflows/instant-sync.yml #213: Commit 58f577b pushed by hyperpolymath
Failure main
main
Failure
chore(submodules): advance affinescript, ephapax, my-lang pointers .github/workflows/instant-sync.yml #212: Commit 855750d pushed by hyperpolymath
Failure main
main
Failure
chore(submodules): advance all language pointers — opsm.toml + A2ML .github/workflows/instant-sync.yml #211: Commit c7cb81d pushed by hyperpolymath
Failure main
main
Failure
chore: update Justfile + advance submodule pointers + add opsm.toml +… .github/workflows/instant-sync.yml #210: Commit f084968 pushed by hyperpolymath
Failure main
main
Failure