Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
104 workflow runs
104 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
bump affinescript: 2026-04-19 session closure docs BoJ Server Build Trigger #104: Commit df858ab pushed by hyperpolymath
6h 13m 18s main
main
6h 13m 18s
bump affinescript: verify-boundary subcommand + exit-code fix BoJ Server Build Trigger #103: Commit 24a3205 pushed by hyperpolymath
6h 16m 37s main
main
6h 16m 37s
bump affinescript: fix enum-in-match + param struct-field codegen BoJ Server Build Trigger #102: Commit 61f69e5 pushed by hyperpolymath
6h 11m 5s main
main
6h 11m 5s
Standardize workspace: Final recursive synchronization BoJ Server Build Trigger #101: Commit 509d77c pushed by hyperpolymath
4h 43m 56s main
main
4h 43m 56s
chore: checkpoint local changes BoJ Server Build Trigger #100: Commit 9ed46c7 pushed by hyperpolymath
3h 33m 46s main
main
3h 33m 46s
Standardize workspace: Capitalize Justfile references in scripts and … BoJ Server Build Trigger #99: Commit 57b913f pushed by hyperpolymath
6m 11s main
main
6m 11s
Merge remote branch pr/27 into main BoJ Server Build Trigger #98: Commit 75c6ecc pushed by hyperpolymath
7s main
main
7s
Standardize workspace: Justfile migration and A2ML directive cleanup BoJ Server Build Trigger #97: Commit 85e50cc pushed by hyperpolymath
8s main
main
8s
chore(languages/007): update owner ref hyperpolymath → The-Metadatast… BoJ Server Build Trigger #96: Commit 5931198 pushed by hyperpolymath
23s main
main
23s
submodule: bump my-lang to 1a13f10 (chore: drop stale .machine_read/) BoJ Server Build Trigger #95: Commit 02f4040 pushed by hyperpolymath
8s main
main
8s
submodule: bump my-lang to ca440a0 (Rocq proof-debt closure) BoJ Server Build Trigger #94: Commit 569d10d pushed by hyperpolymath
10s main
main
10s
chore: bulk-commit chore-only sweep (12 other) BoJ Server Build Trigger #93: Commit 3fef999 pushed by hyperpolymath
7m 24s main
main
7m 24s
chore: estate-wide chore + stale-path sweep (2026-04-17) BoJ Server Build Trigger #92: Commit 7b8db41 pushed by hyperpolymath
1h 41m 30s main
main
1h 41m 30s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback BoJ Server Build Trigger #91: Commit 89431ec pushed by hyperpolymath
26m 30s main
main
26m 30s
chore: update corrupted submodule julia-the-viper to latest remote HEAD BoJ Server Build Trigger #90: Commit 58f577b pushed by hyperpolymath
19m 22s main
main
19m 22s
chore(submodules): advance affinescript, ephapax, my-lang pointers BoJ Server Build Trigger #89: Commit 855750d pushed by hyperpolymath
15s main
main
15s
chore(submodules): advance all language pointers — opsm.toml + A2ML BoJ Server Build Trigger #88: Commit c7cb81d pushed by hyperpolymath
1m 27s main
main
1m 27s
chore: update Justfile + advance submodule pointers + add opsm.toml +… BoJ Server Build Trigger #87: Commit f084968 pushed by hyperpolymath
2m 44s main
main
2m 44s
chore(submodules): advance wokelang pointer — λ_consent safety proofs… BoJ Server Build Trigger #86: Commit 182de3c pushed by hyperpolymath
7m 18s main
main
7m 18s
chore(submodules): advance affinescript pointer — Stage 9+10 linearit… BoJ Server Build Trigger #85: Commit ea9bd0c pushed by hyperpolymath
8m 14s main
main
8m 14s
chore(submodules): advance eclexia pointer — LP axiom proof sketches BoJ Server Build Trigger #84: Commit 4ec68bb pushed by hyperpolymath
12s main
main
12s
chore(submodules): advance ephapax pointer — 63 Qed / 1 Admitted (T_R… BoJ Server Build Trigger #83: Commit 123d826 pushed by hyperpolymath
10s main
main
10s
chore(submodules): advance wokelang pointer — value_eq_dec constructi… BoJ Server Build Trigger #82: Commit d0e34d3 pushed by hyperpolymath
11s main
main
11s
chore(submodules): advance ephapax pointer — paper LaTeX fixes (clean… BoJ Server Build Trigger #81: Commit 0a92ee2 pushed by hyperpolymath
29s main
main
29s
chore(submodules): advance wokelang pointer — Layer 1 merge (AST visi… BoJ Server Build Trigger #80: Commit 34dfe09 pushed by hyperpolymath
54s main
main
54s