Skip to content

Actions: hyperpolymath/proven

Actions

.github/workflows/clusterfuzzlite.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clusterfuzzlite.yml
61 workflow runs
61 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
ci(codeql): cron weekly→monthly (cut 3, standards#288) .github/workflows/clusterfuzzlite.yml #61: Commit 9d8e8b8 pushed by hyperpolymath
Failure cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
Failure
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … .github/workflows/clusterfuzzlite.yml #60: Commit e35d2c9 pushed by hyperpolymath
Failure main
main
Failure
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) .github/workflows/clusterfuzzlite.yml #59: Commit 96bd902 pushed by hyperpolymath
Failure ci/bump-a2ml-validate-action-sexpr-support
ci/bump-a2ml-validate-action-sexpr-support
Failure
docs+config: ADRs + session history + FFI CI runbook (#152) .github/workflows/clusterfuzzlite.yml #58: Commit 8ea1412 pushed by hyperpolymath
Failure main
main
Failure
docs+config: record proof-gate/CI-FFI ADRs, session history, deferred… .github/workflows/clusterfuzzlite.yml #57: Commit 0f8f133 pushed by hyperpolymath
Failure claude/ecstatic-johnson-ViodM
claude/ecstatic-johnson-ViodM
Failure
ci+proof: fix proof-check gate + repair 5 never-compiled proofs (#148) .github/workflows/clusterfuzzlite.yml #56: Commit e4759a5 pushed by hyperpolymath
Failure main
main
Failure
Merge remote-tracking branch 'origin/main' into ci/idris-proof-gate-145 .github/workflows/clusterfuzzlite.yml #55: Commit d36bcd3 pushed by hyperpolymath
Failure ci/idris-proof-gate-145
ci/idris-proof-gate-145
Failure
ci+licence: fix e2e Zig toolchain + standalone build + trustfile SPDX… .github/workflows/clusterfuzzlite.yml #54: Commit 9c33f00 pushed by hyperpolymath
Failure main
main
Failure
ci(e2e): build the standalone Zig FFI surface (no cross-org bridge) .github/workflows/clusterfuzzlite.yml #53: Commit 1c3e413 pushed by hyperpolymath
Failure claude/ecstatic-johnson-ViodM
claude/ecstatic-johnson-ViodM
Failure
ci+licence: fix e2e Zig toolchain setup + trustfile SPDX on fuzz README .github/workflows/clusterfuzzlite.yml #52: Commit 75399d6 pushed by hyperpolymath
Failure claude/ecstatic-johnson-ViodM
claude/ecstatic-johnson-ViodM
Failure
Merge origin/main into ci/idris-proof-gate-145 .github/workflows/clusterfuzzlite.yml #51: Commit 83262ab pushed by hyperpolymath
Failure ci/idris-proof-gate-145
ci/idris-proof-gate-145
Failure
proof(SafeUrl,SafeSQL,SafeEmail): repair 5 never-compiled proofs foun… .github/workflows/clusterfuzzlite.yml #50: Commit bbf3b6b pushed by hyperpolymath
Failure ci/idris-proof-gate-145
ci/idris-proof-gate-145
Failure
ci(idris): add fast proof-check gate over all Proofs.idr (#145) (#147) .github/workflows/clusterfuzzlite.yml #49: Commit c54d0c3 pushed by hyperpolymath
Failure main
main
Failure
ci(idris): add fast proof-check gate over all Proofs.idr (#145) .github/workflows/clusterfuzzlite.yml #48: Commit f679205 pushed by hyperpolymath
Failure ci/idris-proof-gate-145
ci/idris-proof-gate-145
Failure
chore(state): record #144 SafeJson discharges + #145 CI-gating findin… .github/workflows/clusterfuzzlite.yml #47: Commit dc1502f pushed by hyperpolymath
Failure main
main
Failure
chore(state): STATE.a2ml — record #144 SafeJson discharges + #145 CI-… .github/workflows/clusterfuzzlite.yml #46: Commit 63d2be0 pushed by hyperpolymath
Failure claude/ecstatic-johnson-ViodM
claude/ecstatic-johnson-ViodM
Failure
proof(SafeJson): fix appendLengthInc so the module compiles (complete… .github/workflows/clusterfuzzlite.yml #45: Commit a506884 pushed by hyperpolymath
Failure main
main
Failure
proof(SafeJson): fix appendLengthInc so the module compiles (complete… .github/workflows/clusterfuzzlite.yml #44: Commit a506884 pushed by hyperpolymath
Failure main
main
Failure
proof(SafeJson): DISCHARGE 4 object-key OWEDs via DecEq carrier refac… .github/workflows/clusterfuzzlite.yml #43: Commit 4a64719 pushed by hyperpolymath
Failure main
main
Failure
proof(SafePassword): DISCHARGE withMinLengthCorrect via nested constr… .github/workflows/clusterfuzzlite.yml #42: Commit c83e078 pushed by hyperpolymath
Failure main
main
Failure
proof(SafeEmail): DISCHARGE combineValidValid via constructor pattern… .github/workflows/clusterfuzzlite.yml #41: Commit 9f7fd41 pushed by hyperpolymath
Failure main
main
Failure
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig bui… .github/workflows/clusterfuzzlite.yml #40: Commit d09d822 pushed by hyperpolymath
Failure main
main
Failure
ci(chapel): bump 2.3.0→2.8.0 + libunwind-dev preinstall to fix the li… .github/workflows/clusterfuzzlite.yml #39: Commit 3ce56a2 pushed by hyperpolymath
Failure fix/chapel-binding-typecheck-and-wired-build
fix/chapel-binding-typecheck-and-wired-build
Failure
proof(SafeJson): drop unnecessary total change; keep minimal append… .github/workflows/clusterfuzzlite.yml #38: Commit ecda96e pushed by hyperpolymath
Failure claude/ecstatic-johnson-ViodM
claude/ecstatic-johnson-ViodM
Failure
proof(SafeJson): fix appendLengthInc lengthSnoc arg order so the modu… .github/workflows/clusterfuzzlite.yml #37: Commit 30bb43f pushed by hyperpolymath
Failure proof/safejson-any-matches-tany-and-single-key-path
proof/safejson-any-matches-tany-and-single-key-path
Failure