Skip to content

Actions: hyperpolymath/affinescript

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
614 workflow runs
614 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
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … Scorecards supply-chain security #614: Commit 85e3f0d pushed by hyperpolymath
40s main
main
40s
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt (#619) Scorecards supply-chain security #613: Commit 88a0cf0 pushed by hyperpolymath
48s main
main
48s
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration (… Scorecards supply-chain security #612: Commit 33a4bfb pushed by hyperpolymath
44s main
main
44s
Feat/solo core metatheory proofs (#614) Scorecards supply-chain security #611: Commit 39299c3 pushed by hyperpolymath
21m 6s main
main
21m 6s
fix(codegen): uniform heap representation for variants — fixes mixed-… Scorecards supply-chain security #610: Commit 2aa00ff pushed by hyperpolymath
4m 30s main
main
4m 30s
fix(codegen): support nested patterns inside tuple patterns (WASM) Scorecards supply-chain security #609: Commit 0f8e6c5 pushed by hyperpolymath
10m 1s main
main
10m 1s
fix(js-codegen): don't re-declare preamble Option/Result constructors Scorecards supply-chain security #608: Commit a3e0661 pushed by hyperpolymath
13m 5s main
main
13m 5s
docs: author the proof-needs inventory (P-/F-/K- obligation series) (… Scorecards supply-chain security #607: Commit eae71fd pushed by hyperpolymath
31s main
main
31s
ci: actions/checkout v7.0.0 with consistent SHA-pin comments (superse… Scorecards supply-chain security #606: Commit 57040fc pushed by hyperpolymath
34s main
main
34s
Scorecards supply-chain security Scorecards supply-chain security #605: deleted by hyperpolymath
40s
40s
chore: refresh stale CI notes + sync drifted Deno fixtures (#608) Scorecards supply-chain security #604: Commit 48ef42f pushed by hyperpolymath
38s main
main
38s
fix(codegen-deno): don't re-declare preamble Option/Result constructo… Scorecards supply-chain security #603: Commit 2efe0e3 pushed by hyperpolymath
38s main
main
38s
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scann… Scorecards supply-chain security #602: Commit c7922cf pushed by hyperpolymath
44s main
main
44s
ci: make CI standalone (drop estate reusable workflows + third-party … Scorecards supply-chain security #601: Commit 873ad6d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(codegen): #138 — link imported enum constructors into codegen (#602) Scorecards supply-chain security #600: Commit ac98c81 pushed by hyperpolymath
2s main
main
2s
docs(faces): record established faces and same-cube grounding Scorecards supply-chain security #599: Commit 9851215 pushed by hyperpolymath
18s main
main
18s
Scorecards supply-chain security Scorecards supply-chain security #598: Scheduled
1s main
main
1s
fix(parser): #558 — honest-reject removed assume(...); fix misnamed f… Scorecards supply-chain security #597: Commit 58dc2a0 pushed by hyperpolymath
1s main
main
1s
fix(interp): #555 interpreter residual — multi-shot resume loud-fail … Scorecards supply-chain security #596: Commit 7f5c8d7 pushed by hyperpolymath
1s main
main
1s
fix(codegen): close #556 — async CPS table-miss loud-fail fence (#596) Scorecards supply-chain security #595: Commit 187f21a pushed by hyperpolymath
1s main
main
1s
fix(borrow): close #554 use-after-move through a callee-returned borr… Scorecards supply-chain security #594: Commit 9bf8d57 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: consolidated session overview — migration corpus + string/float… Scorecards supply-chain security #593: Commit 43df11f pushed by hyperpolymath
1s main
main
1s
compiler: implement the float wall — Float binops + typed locals lowe… Scorecards supply-chain security #592: Commit ed04217 pushed by hyperpolymath
1s main
main
1s
compiler+harness: string-wall cleanup + affine-parity String-arg supp… Scorecards supply-chain security #591: Commit 2218100 pushed by hyperpolymath
1s main
main
1s
migration: 3 straggler brains + corpus-sweep capstone (cluster C15) (… Scorecards supply-chain security #590: Commit c3ebe69 pushed by hyperpolymath
1s main
main
1s