Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
257 workflow runs
257 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) Hypatia Security Scan #257: Commit 04abca5 pushed by hyperpolymath
27s main
main
27s
Add Agda proofs for dough-kneading example Hypatia Security Scan #256: Commit 8b57f45 pushed by hyperpolymath
7s main
main
7s
ADR 0001: Document proof assistant choice for KitchenSpeak Hypatia Security Scan #255: Commit becb52e pushed by hyperpolymath
1m 58s main
main
1m 58s
Add KitchenSpeak DSL specification and teaching materials Hypatia Security Scan #254: Commit 6d5f90e pushed by hyperpolymath
9s main
main
9s
bump affinescript: 2026-04-19 session closure docs Hypatia Security Scan #253: Commit df858ab pushed by hyperpolymath
6h 11m 39s main
main
6h 11m 39s
bump affinescript: verify-boundary subcommand + exit-code fix Hypatia Security Scan #252: Commit 24a3205 pushed by hyperpolymath
6h 18m 48s main
main
6h 18m 48s
bump affinescript: fix enum-in-match + param struct-field codegen Hypatia Security Scan #251: Commit 61f69e5 pushed by hyperpolymath
6h 14m 38s main
main
6h 14m 38s
Hypatia Security Scan Hypatia Security Scan #250: Scheduled
3h 51m 41s main
main
3h 51m 41s
Standardize workspace: Final recursive synchronization Hypatia Security Scan #249: Commit 509d77c pushed by hyperpolymath
4h 45m 56s main
main
4h 45m 56s
chore: checkpoint local changes Hypatia Security Scan #248: Commit 9ed46c7 pushed by hyperpolymath
3h 35m 48s main
main
3h 35m 48s
Standardize workspace: Capitalize Justfile references in scripts and … Hypatia Security Scan #247: Commit 57b913f pushed by hyperpolymath
6m 10s main
main
6m 10s
Merge remote branch pr/27 into main Hypatia Security Scan #246: Commit 75c6ecc pushed by hyperpolymath
7s main
main
7s
Standardize workspace: Justfile migration and A2ML directive cleanup Hypatia Security Scan #245: Commit 85e50cc pushed by hyperpolymath
7s main
main
7s
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… Hypatia Security Scan #244: Commit 5931198 pushed by hyperpolymath
34s main
main
34s
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) Hypatia Security Scan #243: Commit 02f4040 pushed by hyperpolymath
6s main
main
6s
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) Hypatia Security Scan #242: Commit 569d10d pushed by hyperpolymath
6s main
main
6s
chore: bulk-commit chore-only sweep (12 other) Hypatia Security Scan #241: Commit 3fef999 pushed by hyperpolymath
5m 57s main
main
5m 57s
chore: estate-wide chore + stale-path sweep (2026-04-17) Hypatia Security Scan #240: Commit 7b8db41 pushed by hyperpolymath
1h 41m 40s main
main
1h 41m 40s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Hypatia Security Scan #239: Commit 89431ec pushed by hyperpolymath
22m 58s main
main
22m 58s
chore: update corrupted submodule julia-the-viper to latest remote HEAD Hypatia Security Scan #238: Commit 58f577b pushed by hyperpolymath
19m 43s main
main
19m 43s
chore(submodules): advance affinescript, ephapax, my-lang pointers Hypatia Security Scan #237: Commit 855750d pushed by hyperpolymath
7s main
main
7s
chore(submodules): advance all language pointers — opsm.toml + A2ML Hypatia Security Scan #236: Commit c7cb81d pushed by hyperpolymath
1m 43s main
main
1m 43s
chore: update Justfile + advance submodule pointers + add opsm.toml +… Hypatia Security Scan #235: Commit f084968 pushed by hyperpolymath
2m 42s main
main
2m 42s
chore(submodules): advance wokelang pointer — λ_consent safety proofs… Hypatia Security Scan #234: Commit 182de3c pushed by hyperpolymath
6m 41s main
main
6m 41s
chore(submodules): advance affinescript pointer — Stage 9+10 linearit… Hypatia Security Scan #233: Commit ea9bd0c pushed by hyperpolymath
7m 56s main
main
7m 56s