Skip to content

Actions: hyperpolymath/error-lang

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
92 workflow runs
92 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
Claude/ci workflow hardening (#37) Mirror to Git Forges #67: Commit f728315 pushed by hyperpolymath
2s main
main
2s
Claude/affinescript error lang proofs r mh9s (#36) Mirror to Git Forges #66: Commit 0e44905 pushed by hyperpolymath
1s main
main
1s
Claude/ci workflow hardening (#33) Mirror to Git Forges #65: Commit 0f0fb90 pushed by hyperpolymath
2s main
main
2s
Claude/youthful fermat 90bhhu (#35) Mirror to Git Forges #64: Commit 0d55f86 pushed by hyperpolymath
1s main
main
1s
Claude/affinescript error lang proofs r mh9s (#34) Mirror to Git Forges #63: Commit 0f32d32 pushed by hyperpolymath
1s main
main
1s
cleanup: drop dead ReScript/TS duplicates; LSP via affinescript serve… Mirror to Git Forges #62: Commit 4fffd68 pushed by hyperpolymath
1s main
main
1s
ci: refresh stale standards workflow pins (unblock the staleness gate… Mirror to Git Forges #61: Commit 180c1cf pushed by hyperpolymath
1s main
main
1s
ReScript→AffineScript migration: finish the compiler/src port (module… Mirror to Git Forges #60: Commit b5b124a pushed by hyperpolymath
2s main
main
2s
ReScript→AffineScript migration: Parser + TypeChecker + TypeSuperposi… Mirror to Git Forges #59: Commit 99ed0b6 pushed by hyperpolymath
Skipped main
main
Skipped
ReScript→AffineScript migration: Cst.affine (module 3) (#28) Mirror to Git Forges #58: Commit 5c3a0b3 pushed by hyperpolymath
1s main
main
1s
ReScript→AffineScript migration: Lexer.affine (module 2) (#27) Mirror to Git Forges #57: Commit 2821914 pushed by hyperpolymath
6s main
main
6s
ReScript→AffineScript migration: toolchain + Types.affine (module 1 o… Mirror to Git Forges #56: Commit 727c428 pushed by hyperpolymath
7s main
main
7s
Design: Error-Lang as a Trope IR front end (trope-particularity integ… Mirror to Git Forges #55: Commit 4766c27 pushed by hyperpolymath
1s main
main
1s
error-lang: replace fabricated ABI "proofs" with machine-checked ones… Mirror to Git Forges #54: Commit ac3340f pushed by hyperpolymath
9s main
main
9s
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #53: Commit 8e5b355 pushed by hyperpolymath
1s main
main
1s
Claude/ci workflow hardening (#23) Mirror to Git Forges #52: Commit 370f879 pushed by hyperpolymath
1s main
main
1s
Claude/affinescript error lang proofs r mh9s (#22) Mirror to Git Forges #51: Commit 2284150 pushed by hyperpolymath
10s main
main
10s
Claude/ci workflow hardening (#21) Mirror to Git Forges #50: Commit c88fbb8 pushed by hyperpolymath
6s main
main
6s
Claude/affinescript error lang proofs r mh9s (#20) Mirror to Git Forges #49: Commit f3d8cff pushed by hyperpolymath
1s main
main
1s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Mirror to Git Forges #48: Commit ae96a79 pushed by hyperpolymath
1s main
main
1s
Merge pull request #19 from hyperpolymath/claude/safedom-res-stale-sweep Mirror to Git Forges #47: Commit ee0969c pushed by hyperpolymath
9s main
main
9s
security: standardize secret scanning on TruffleHog Mirror to Git Forges #46: Commit 02ee9fc pushed by hyperpolymath
Failure claude/safedom-res-stale-sweep
claude/safedom-res-stale-sweep
Failure
Apply estate standardization: governance docs, contractiles, CI/CD cl… Mirror to Git Forges #45: Commit aa04193 pushed by hyperpolymath
Failure estate-standardization-20260607
estate-standardization-20260607
Failure
Apply estate standardization: governance docs, contractiles, CI/CD cl… Mirror to Git Forges #44: Commit aa04193 pushed by hyperpolymath
Failure estate-standardization-20260607
estate-standardization-20260607
Failure
feat(types): Echo types (structured loss) across the pipeline (#17) Mirror to Git Forges #43: Commit 10e937c pushed by hyperpolymath
2s main
main
2s