Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow-linter.yml
276 workflow runs
276 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 → 9a4bfdc (PR #34 — L3009 admit closed) .github/workflows/workflow-linter.yml #276: Commit 0784b6c pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) .github/workflows/workflow-linter.yml #275: Commit 98859cd pushed by hyperpolymath
Failure main
main
Failure
chore: estate-wide metadata and submodule sync (2026-04-20) .github/workflows/workflow-linter.yml #274: Commit 04abca5 pushed by hyperpolymath
Failure main
main
Failure
Add Agda proofs for dough-kneading example .github/workflows/workflow-linter.yml #273: Commit 8b57f45 pushed by hyperpolymath
Failure main
main
Failure
kitchenspeak: prove the Dough program in Agda .github/workflows/workflow-linter.yml #272: 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/workflow-linter.yml #271: Commit becb52e pushed by hyperpolymath
Failure main
main
Failure
kitchenspeak: ADR 0001 — recommend Agda as proof-assistant target .github/workflows/workflow-linter.yml #270: 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/workflow-linter.yml #269: Commit 6d5f90e pushed by hyperpolymath
Failure main
main
Failure
kitchenspeak: scaffold experimental DSL with class v1.0 spec .github/workflows/workflow-linter.yml #268: 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/workflow-linter.yml #267: Commit df858ab pushed by hyperpolymath
Failure main
main
Failure
bump affinescript: verify-boundary subcommand + exit-code fix .github/workflows/workflow-linter.yml #266: Commit 24a3205 pushed by hyperpolymath
Failure main
main
Failure
bump affinescript: fix enum-in-match + param struct-field codegen .github/workflows/workflow-linter.yml #265: Commit 61f69e5 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Final recursive synchronization .github/workflows/workflow-linter.yml #264: Commit 509d77c pushed by hyperpolymath
Failure main
main
Failure
chore: checkpoint local changes .github/workflows/workflow-linter.yml #263: Commit 9ed46c7 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Capitalize Justfile references in scripts and … .github/workflows/workflow-linter.yml #262: Commit 57b913f pushed by hyperpolymath
Failure main
main
Failure
Merge remote branch pr/27 into main .github/workflows/workflow-linter.yml #261: Commit 75c6ecc pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Justfile migration and A2ML directive cleanup .github/workflows/workflow-linter.yml #260: Commit 85e50cc pushed by hyperpolymath
Failure main
main
Failure
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… .github/workflows/workflow-linter.yml #259: Commit 5931198 pushed by hyperpolymath
Failure main
main
Failure
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) .github/workflows/workflow-linter.yml #258: Commit 02f4040 pushed by hyperpolymath
Failure main
main
Failure
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) .github/workflows/workflow-linter.yml #257: Commit 569d10d pushed by hyperpolymath
Failure main
main
Failure
chore: bulk-commit chore-only sweep (12 other) .github/workflows/workflow-linter.yml #256: Commit 3fef999 pushed by hyperpolymath
Failure main
main
Failure
chore: estate-wide chore + stale-path sweep (2026-04-17) .github/workflows/workflow-linter.yml #255: 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/workflow-linter.yml #254: Commit 89431ec pushed by hyperpolymath
Failure main
main
Failure
chore: update corrupted submodule julia-the-viper to latest remote HEAD .github/workflows/workflow-linter.yml #253: Commit 58f577b pushed by hyperpolymath
Failure main
main
Failure
chore(submodules): advance affinescript, ephapax, my-lang pointers .github/workflows/workflow-linter.yml #252: Commit 855750d pushed by hyperpolymath
Failure main
main
Failure