Skip to content

Actions: hyperpolymath/proven

Actions

ClusterFuzzLite

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clusterfuzzlite.yml
111 workflow runs
111 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) ClusterFuzzLite #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) … ClusterFuzzLite #60: Commit e35d2c9 pushed by hyperpolymath
Failure main
main
Failure
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) ClusterFuzzLite #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) ClusterFuzzLite #58: Commit 8ea1412 pushed by hyperpolymath
Failure main
main
Failure
docs+config: record proof-gate/CI-FFI ADRs, session history, deferred… ClusterFuzzLite #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) ClusterFuzzLite #56: Commit e4759a5 pushed by hyperpolymath
Failure main
main
Failure
Merge remote-tracking branch 'origin/main' into ci/idris-proof-gate-145 ClusterFuzzLite #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… ClusterFuzzLite #54: Commit 9c33f00 pushed by hyperpolymath
Failure main
main
Failure
ci(e2e): build the standalone Zig FFI surface (no cross-org bridge) ClusterFuzzLite #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 ClusterFuzzLite #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 ClusterFuzzLite #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… ClusterFuzzLite #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) ClusterFuzzLite #49: Commit c54d0c3 pushed by hyperpolymath
Failure main
main
Failure
ci(idris): add fast proof-check gate over all Proofs.idr (#145) ClusterFuzzLite #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… ClusterFuzzLite #47: Commit dc1502f pushed by hyperpolymath
Failure main
main
Failure
chore(state): STATE.a2ml — record #144 SafeJson discharges + #145 CI-… ClusterFuzzLite #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… ClusterFuzzLite #45: Commit a506884 pushed by hyperpolymath
Failure main
main
Failure
proof(SafeJson): fix appendLengthInc so the module compiles (complete… ClusterFuzzLite #44: Commit a506884 pushed by hyperpolymath
Failure main
main
Failure
proof(SafeJson): DISCHARGE 4 object-key OWEDs via DecEq carrier refac… ClusterFuzzLite #43: Commit 4a64719 pushed by hyperpolymath
Failure main
main
Failure
proof(SafePassword): DISCHARGE withMinLengthCorrect via nested constr… ClusterFuzzLite #42: Commit c83e078 pushed by hyperpolymath
Failure main
main
Failure
proof(SafeEmail): DISCHARGE combineValidValid via constructor pattern… ClusterFuzzLite #41: Commit 9f7fd41 pushed by hyperpolymath
Failure main
main
Failure
fix(chapel-binding): real-Chapel-2.x typecheck + WIRED-subset zig bui… ClusterFuzzLite #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… ClusterFuzzLite #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… ClusterFuzzLite #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… ClusterFuzzLite #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