Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
302 workflow runs
302 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) CodeQL Security Analysis #302: Commit 04abca5 pushed by hyperpolymath
59s main
main
59s
Add Agda proofs for dough-kneading example CodeQL Security Analysis #301: Commit 8b57f45 pushed by hyperpolymath
39s main
main
39s
ADR 0001: Document proof assistant choice for KitchenSpeak CodeQL Security Analysis #300: Commit becb52e pushed by hyperpolymath
2m 4s main
main
2m 4s
Add KitchenSpeak DSL specification and teaching materials CodeQL Security Analysis #299: Commit 6d5f90e pushed by hyperpolymath
44s main
main
44s
CodeQL Security Analysis CodeQL Security Analysis #298: Scheduled
49s main
main
49s
bump affinescript: 2026-04-19 session closure docs CodeQL Security Analysis #297: Commit df858ab pushed by hyperpolymath
6h 13m 24s main
main
6h 13m 24s
bump affinescript: verify-boundary subcommand + exit-code fix CodeQL Security Analysis #296: Commit 24a3205 pushed by hyperpolymath
6h 16m 41s main
main
6h 16m 41s
bump affinescript: fix enum-in-match + param struct-field codegen CodeQL Security Analysis #295: Commit 61f69e5 pushed by hyperpolymath
3h 44m 19s main
main
3h 44m 19s
Standardize workspace: Final recursive synchronization CodeQL Security Analysis #294: Commit 509d77c pushed by hyperpolymath
4h 45m 37s main
main
4h 45m 37s
chore: checkpoint local changes CodeQL Security Analysis #293: Commit 9ed46c7 pushed by hyperpolymath
3h 35m 45s main
main
3h 35m 45s
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #292: Commit 57b913f pushed by hyperpolymath
6m 17s main
main
6m 17s
Merge remote branch pr/27 into main CodeQL Security Analysis #291: Commit 75c6ecc pushed by hyperpolymath
39s main
main
39s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #290: Commit 85e50cc pushed by hyperpolymath
51s main
main
51s
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… CodeQL Security Analysis #289: Commit 5931198 pushed by hyperpolymath
35s main
main
35s
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) CodeQL Security Analysis #288: Commit 02f4040 pushed by hyperpolymath
41s main
main
41s
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) CodeQL Security Analysis #287: Commit 569d10d pushed by hyperpolymath
41s main
main
41s
chore: bulk-commit chore-only sweep (12 other) CodeQL Security Analysis #286: Commit 3fef999 pushed by hyperpolymath
6m 28s main
main
6m 28s
chore: estate-wide chore + stale-path sweep (2026-04-17) CodeQL Security Analysis #285: Commit 7b8db41 pushed by hyperpolymath
1h 43m 35s main
main
1h 43m 35s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #284: Commit 89431ec pushed by hyperpolymath
24m 45s main
main
24m 45s
chore: update corrupted submodule julia-the-viper to latest remote HEAD CodeQL Security Analysis #283: Commit 58f577b pushed by hyperpolymath
20m 58s main
main
20m 58s
CodeQL Security Analysis CodeQL Security Analysis #282: Scheduled
40s main
main
40s
chore(submodules): advance affinescript, ephapax, my-lang pointers CodeQL Security Analysis #281: Commit 855750d pushed by hyperpolymath
44s main
main
44s
chore(submodules): advance all language pointers — opsm.toml + A2ML CodeQL Security Analysis #280: Commit c7cb81d pushed by hyperpolymath
2m 4s main
main
2m 4s
chore: update Justfile + advance submodule pointers + add opsm.toml +… CodeQL Security Analysis #279: Commit f084968 pushed by hyperpolymath
2m 14s main
main
2m 14s
chore(submodules): advance wokelang pointer — λ_consent safety proofs… CodeQL Security Analysis #278: Commit 182de3c pushed by hyperpolymath
7m 13s main
main
7m 13s