Skip to content

Actions: hyperpolymath/tangle

Actions

OSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
164 workflow runs
164 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
OSSF Scorecard OSSF Scorecard #164: Scheduled
1s main
main
1s
chore: retire local issue/discussion templates -> inherit org .github… OSSF Scorecard #163: Commit 559e10e pushed by hyperpolymath
1s main
main
1s
chore(deps): bump ruby/setup-ruby from 1.313.0 to 1.314.0 in the acti… OSSF Scorecard #162: Commit cf9eea1 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #161: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #160: Scheduled
Startup failure main
main
Startup failure
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… OSSF Scorecard #159: Commit a17e0c1 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: tangle AFFIRMATION + scoped table + maintainer-confirmed Verisi… OSSF Scorecard #158: Commit b535083 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump actions/checkout in the actions group OSSF Scorecard #157: Commit 2fbe1ea pushed by hyperpolymath
1s main
main
1s
docs(grounding): align KRL ops + stack diagram to canonical spec OSSF Scorecard #156: Commit 15a507a pushed by hyperpolymath
2s main
main
2s
docs: standardize contact/attribution email to j.d.a.jewell@open.ac.u… OSSF Scorecard #155: Commit d4bc456 pushed by hyperpolymath
4s main
main
4s
OSSF Scorecard OSSF Scorecard #154: Scheduled
Startup failure main
main
Startup failure
chore(tg-6): record wasmi dev-dependency in Cargo.lock OSSF Scorecard #153: Commit 5ed31f8 pushed by hyperpolymath
1s main
main
1s
docs(governance): fill required-file placeholders + fix project naming OSSF Scorecard #152: Commit dc6f91c pushed by hyperpolymath
1s main
main
1s
ci: set CodeQL language matrix to actions (no JS/TS source in repo) OSSF Scorecard #151: Commit 71fbca7 pushed by hyperpolymath
1s main
main
1s
fix: invalid // comment headers break YAML/just parsing (use #) OSSF Scorecard #150: Commit 7cd0f79 pushed by hyperpolymath
1s main
main
1s
docs: mark TG-1 and TG-2 LANDED; add echo-types grade semiring design… OSSF Scorecard #149: Commit e5dff6d pushed by hyperpolymath
1s main
main
1s
docs: document echo/product OCaml pipeline integration + expand wiki … OSSF Scorecard #148: Commit 60ac2d4 pushed by hyperpolymath
1s main
main
1s
fix(echo): patch two exhaustiveness gaps + extend TG-4 round-trip corpus OSSF Scorecard #147: Commit 67b50f6 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(echo): runtime eval + surface parser for echo/product forms OSSF Scorecard #146: Commit f3ac1da pushed by hyperpolymath
1s main
main
1s
feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… OSSF Scorecard #145: Commit 9b3a32d pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(echo): echoEq — structured loss for equality (residue = operand … OSSF Scorecard #144: Commit bc2a0e6 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group across 1 directory with 3 updates… OSSF Scorecard #143: Commit 06abb05 pushed by hyperpolymath
1s main
main
1s
security: standardize secret scanning on TruffleHog (#41) OSSF Scorecard #142: Commit c04c345 pushed by hyperpolymath
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #141: Scheduled
1s main
main
1s
chore(deps): bump the actions group across 1 directory with 2 updates OSSF Scorecard #140: Commit 357b806 pushed by hyperpolymath
Startup failure main
main
Startup failure