Skip to content

Actions: hyperpolymath/error-lang

Actions

OSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
131 workflow runs
131 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/youthful fermat 90bhhu (#35) OSSF Scorecard #81: Commit 0d55f86 pushed by hyperpolymath
1s main
main
1s
Claude/affinescript error lang proofs r mh9s (#34) OSSF Scorecard #80: Commit 0f32d32 pushed by hyperpolymath
Startup failure main
main
Startup failure
cleanup: drop dead ReScript/TS duplicates; LSP via affinescript serve… OSSF Scorecard #79: Commit 4fffd68 pushed by hyperpolymath
1s main
main
1s
ci: refresh stale standards workflow pins (unblock the staleness gate… OSSF Scorecard #78: Commit 180c1cf pushed by hyperpolymath
Startup failure main
main
Startup failure
ReScript→AffineScript migration: finish the compiler/src port (module… OSSF Scorecard #77: Commit b5b124a pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #76: Scheduled
Startup failure main
main
Startup failure
ReScript→AffineScript migration: Parser + TypeChecker + TypeSuperposi… OSSF Scorecard #75: Commit 99ed0b6 pushed by hyperpolymath
Startup failure main
main
Startup failure
ReScript→AffineScript migration: Cst.affine (module 3) (#28) OSSF Scorecard #74: Commit 5c3a0b3 pushed by hyperpolymath
1s main
main
1s
ReScript→AffineScript migration: Lexer.affine (module 2) (#27) OSSF Scorecard #73: Commit 2821914 pushed by hyperpolymath
Startup failure main
main
Startup failure
ReScript→AffineScript migration: toolchain + Types.affine (module 1 o… OSSF Scorecard #72: Commit 727c428 pushed by hyperpolymath
1s main
main
1s
Design: Error-Lang as a Trope IR front end (trope-particularity integ… OSSF Scorecard #71: Commit 4766c27 pushed by hyperpolymath
Startup failure main
main
Startup failure
error-lang: replace fabricated ABI "proofs" with machine-checked ones… OSSF Scorecard #70: Commit ac3340f pushed by hyperpolymath
2s main
main
2s
OSSF Scorecard OSSF Scorecard #69: Scheduled
1s main
main
1s
chore: retire local issue/discussion templates -> inherit org .github… OSSF Scorecard #68: Commit 8e5b355 pushed by hyperpolymath
1s main
main
1s
Claude/ci workflow hardening (#23) OSSF Scorecard #67: Commit 370f879 pushed by hyperpolymath
1s main
main
1s
Claude/affinescript error lang proofs r mh9s (#22) OSSF Scorecard #66: Commit 2284150 pushed by hyperpolymath
1s main
main
1s
Claude/ci workflow hardening (#21) OSSF Scorecard #65: Commit c88fbb8 pushed by hyperpolymath
1s main
main
1s
Claude/affinescript error lang proofs r mh9s (#20) OSSF Scorecard #64: Commit f3d8cff pushed by hyperpolymath
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #63: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #62: Scheduled
Startup failure main
main
Startup failure
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… OSSF Scorecard #61: Commit ae96a79 pushed by hyperpolymath
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #60: Scheduled
1s main
main
1s
Merge pull request #19 from hyperpolymath/claude/safedom-res-stale-sweep OSSF Scorecard #59: Commit ee0969c pushed by hyperpolymath
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #58: Scheduled
1s main
main
1s
feat(types): Echo types (structured loss) across the pipeline (#17) OSSF Scorecard #57: Commit 10e937c pushed by hyperpolymath
1s main
main
1s