Skip to content

Actions: hyperpolymath/boj-server

Actions

.github/workflows/scorecard.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
717 workflow runs
717 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
chore(site,readme): SonarCloud badges + canon site/security.txt .github/workflows/scorecard.yml #717: Commit 39c6118 pushed by hyperpolymath
Failure fix/glama-license-tables-proof
fix/glama-license-tables-proof
Failure
ci(sonar): SonarCloud scan workflow + project config .github/workflows/scorecard.yml #716: Commit 0fe98d4 pushed by hyperpolymath
Failure ci/sonarcloud
ci/sonarcloud
Failure
fix(security.txt): canon Expires 2027, real Canonical URL, drop bogus… .github/workflows/scorecard.yml #715: Commit f066001 pushed by hyperpolymath
Failure chore/security-txt
chore/security-txt
Failure
Merge origin/main into fix/glama-license-tables-proof (resolve confli… .github/workflows/scorecard.yml #714: Commit 4547d05 pushed by hyperpolymath
Failure fix/glama-license-tables-proof
fix/glama-license-tables-proof
Failure
ci(proofs): weekly schedule so the proof gate re-checks main for drif… .github/workflows/scorecard.yml #713: Commit 6d876b4 pushed by hyperpolymath
Failure main
main
Failure
ci(proofs): add weekly schedule so the proof gate re-checks main .github/workflows/scorecard.yml #712: Commit 2d7231e pushed by hyperpolymath
Failure ci/proof-gate-weekly-baseline
ci/proof-gate-weekly-baseline
Failure
ci(proofs): add weekly schedule so the proof gate re-checks main .github/workflows/scorecard.yml #711: Commit 07b6321 pushed by hyperpolymath
Failure ci/proof-gate-weekly-baseline
ci/proof-gate-weekly-baseline
Failure
docs(metadata): reconcile cartridge/tool/version counts to one source… .github/workflows/scorecard.yml #710: Commit 14a43ee pushed by hyperpolymath
Failure fix/glama-license-tables-proof
fix/glama-license-tables-proof
Failure
feat(ci): attest build provenance (#255) .github/workflows/scorecard.yml #709: Commit 426a435 pushed by hyperpolymath
Failure main
main
Failure
feat(ci): attest build provenance .github/workflows/scorecard.yml #708: Commit a427929 pushed by hyperpolymath
Failure feat/attest-build-provenance
feat/attest-build-provenance
Failure
Delete Mustfile .github/workflows/scorecard.yml #707: Commit 75b1b9f pushed by hyperpolymath
Failure main
main
Failure
Delete Intentfile .github/workflows/scorecard.yml #706: Commit 30f1623 pushed by hyperpolymath
Failure main
main
Failure
Delete eclexiaiser.toml .github/workflows/scorecard.yml #705: Commit 8bf3d49 pushed by hyperpolymath
Failure main
main
Failure
Delete alloyiser.toml .github/workflows/scorecard.yml #704: Commit 818b5d5 pushed by hyperpolymath
Failure main
main
Failure
Delete k9iser.toml .github/workflows/scorecard.yml #703: Commit 57d6bd4 pushed by hyperpolymath
Failure main
main
Failure
docs: record TLA+ Elixir harness coverage in STATE and Developer-Guid… .github/workflows/scorecard.yml #702: Commit 11a1c54 pushed by hyperpolymath
Failure main
main
Failure
docs: record TLA+ Elixir harness coverage in STATE + Developer-Guide .github/workflows/scorecard.yml #701: Commit e37ada9 pushed by hyperpolymath
Failure claude/vigilant-carson-ufu47c
claude/vigilant-carson-ufu47c
Failure
feat(formal/tla): TLA+ model of Invoker — isolation + classification … .github/workflows/scorecard.yml #700: Commit da8db01 pushed by hyperpolymath
Failure main
main
Failure
feat(formal/tla): TLA+ model of Invoker — isolation + classification … .github/workflows/scorecard.yml #699: Commit da8db01 pushed by hyperpolymath
Failure main
main
Failure
feat(formal/tla): TLA+ model of Invoker — isolation + classification … .github/workflows/scorecard.yml #698: Commit a4f9389 pushed by hyperpolymath
Failure feat/invoker-tla
feat/invoker-tla
Failure
feat(formal/tla): TLA+ pool model — JsWorkerPool crash-isolation + ro… .github/workflows/scorecard.yml #697: Commit 9fb8223 pushed by hyperpolymath
Failure main
main
Failure
feat(formal/tla): TLA+ pool model — JsWorkerPool crash-isolation + ro… .github/workflows/scorecard.yml #696: Commit 44ebfcc pushed by hyperpolymath
-1s claude/vigilant-carson-ufu47c
claude/vigilant-carson-ufu47c
-1s
proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsW… .github/workflows/scorecard.yml #695: Commit a677019 pushed by hyperpolymath
Failure main
main
Failure
proof(elixir): TLA+ model of JsWorker — reply-once + liveness verifie… .github/workflows/scorecard.yml #694: Commit c5956d7 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
proof(elixir): TLA+ model of JsWorker — reply-once + liveness verifie… .github/workflows/scorecard.yml #693: Commit 836c977 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure