Skip to content

Actions: hyperpolymath/boj-server

Actions

.github/workflows/governance.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
437 workflow runs
437 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): complete served .well-known set (humans.txt, ai.txt) .github/workflows/governance.yml #437: Commit 7d9591f pushed by hyperpolymath
Failure fix/glama-license-tables-proof
fix/glama-license-tables-proof
Failure
chore(site,readme): SonarCloud badges + canon site/security.txt .github/workflows/governance.yml #436: 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/governance.yml #435: Commit 0fe98d4 pushed by hyperpolymath
Failure ci/sonarcloud
ci/sonarcloud
Failure
fix(security.txt): canon Expires 2027, real Canonical URL, drop bogus… .github/workflows/governance.yml #434: 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/governance.yml #433: 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/governance.yml #432: Commit 6d876b4 pushed by hyperpolymath
Failure main
main
Failure
ci(proofs): add weekly schedule so the proof gate re-checks main .github/workflows/governance.yml #431: 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/governance.yml #430: 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/governance.yml #429: 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/governance.yml #428: Commit 426a435 pushed by hyperpolymath
Failure main
main
Failure
feat(ci): attest build provenance .github/workflows/governance.yml #427: Commit a427929 pushed by hyperpolymath
Failure feat/attest-build-provenance
feat/attest-build-provenance
Failure
Delete Mustfile .github/workflows/governance.yml #426: Commit 75b1b9f pushed by hyperpolymath
Failure main
main
Failure
Delete Intentfile .github/workflows/governance.yml #425: Commit 30f1623 pushed by hyperpolymath
Failure main
main
Failure
Delete eclexiaiser.toml .github/workflows/governance.yml #424: Commit 8bf3d49 pushed by hyperpolymath
Failure main
main
Failure
Delete alloyiser.toml .github/workflows/governance.yml #423: Commit 818b5d5 pushed by hyperpolymath
Failure main
main
Failure
Delete k9iser.toml .github/workflows/governance.yml #422: Commit 57d6bd4 pushed by hyperpolymath
Failure main
main
Failure
docs: record TLA+ Elixir harness coverage in STATE and Developer-Guid… .github/workflows/governance.yml #421: Commit 11a1c54 pushed by hyperpolymath
Failure main
main
Failure
docs: record TLA+ Elixir harness coverage in STATE + Developer-Guide .github/workflows/governance.yml #420: 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/governance.yml #419: Commit da8db01 pushed by hyperpolymath
Failure main
main
Failure
feat(formal/tla): TLA+ model of Invoker — isolation + classification … .github/workflows/governance.yml #418: Commit da8db01 pushed by hyperpolymath
Failure main
main
Failure
feat(formal/tla): TLA+ model of Invoker — isolation + classification … .github/workflows/governance.yml #417: 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/governance.yml #416: Commit 9fb8223 pushed by hyperpolymath
Failure main
main
Failure
feat(formal/tla): TLA+ pool model — JsWorkerPool crash-isolation + ro… .github/workflows/governance.yml #415: Commit 44ebfcc pushed by hyperpolymath
Failure claude/vigilant-carson-ufu47c
claude/vigilant-carson-ufu47c
Failure
proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsW… .github/workflows/governance.yml #414: Commit a677019 pushed by hyperpolymath
Failure main
main
Failure
proof(elixir): TLA+ model of JsWorker — reply-once + liveness verifie… .github/workflows/governance.yml #413: Commit c5956d7 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure