Skip to content

Actions: hyperpolymath/proven

Actions

.github/workflows/clusterfuzzlite.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clusterfuzzlite.yml
144 workflow runs
144 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
fix: restore identifiers and prose destroyed by the blanking sweep .github/workflows/clusterfuzzlite.yml #144: Commit 6a81bca pushed by hyperpolymath
Failure fix/idris2-totality-and-elaboration-cures
fix/idris2-totality-and-elaboration-cures
Failure
chore(ci): repoint push-email-notify to smtp-notify-action (#215) .github/workflows/clusterfuzzlite.yml #143: Commit b047620 pushed by hyperpolymath
Failure main
main
Failure
chore(ci): repoint push-email-notify to smtp-notify-action .github/workflows/clusterfuzzlite.yml #142: Commit 2f7a6a7 pushed by hyperpolymath
Failure chore/smtp-notify-action
chore/smtp-notify-action
Failure
wip(cures): preserve 77 uncommitted Idris2 totality/elaboration cure … .github/workflows/clusterfuzzlite.yml #141: Commit d2d57a0 pushed by hyperpolymath
Failure fix/idris2-totality-and-elaboration-cures
fix/idris2-totality-and-elaboration-cures
Failure
chore: bump standards workflow pins (#214) .github/workflows/clusterfuzzlite.yml #140: Commit aa6dbd2 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'chore/bump-standards-pins' .github/workflows/clusterfuzzlite.yml #139: Commit 83476fc pushed by hyperpolymath
-1s chore/bump-standards-pins-2026-08-30
chore/bump-standards-pins-2026-08-30
-1s
fix(ci): the invisible-character gate never matched anything (#207) .github/workflows/clusterfuzzlite.yml #138: Commit e615ba0 pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues (#213) .github/workflows/clusterfuzzlite.yml #137: Commit c31fc6f pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/clusterfuzzlite.yml #136: Commit ce3bdcd pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/clusterfuzzlite.yml #135: Commit 11e2b8d pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
docs: correct the postulate count from 46 to 42 (declaration position… .github/workflows/clusterfuzzlite.yml #134: Commit 89d89ee pushed by hyperpolymath
Failure fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
docs: add Idris2 build work package for handover .github/workflows/clusterfuzzlite.yml #133: Commit 9c2d073 pushed by hyperpolymath
Failure fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
fix(ci): the invisible-character gate never matched anything .github/workflows/clusterfuzzlite.yml #132: Commit c515788 pushed by hyperpolymath
Failure fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
Failure
fix(idris2): cure seven build blockers; drive frontier 165 -> 210/305 .github/workflows/clusterfuzzlite.yml #131: Commit 5adfd0d pushed by hyperpolymath
Failure fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
fix(idris2): cure seven build blockers; drive frontier 165 -> 210/305 .github/workflows/clusterfuzzlite.yml #130: Commit 2ce64f0 pushed by hyperpolymath
Failure fix/idris2-totality-and-elaboration-cures
fix/idris2-totality-and-elaboration-cures
Failure
feat(labels): estate label tooling + auto-triage for new issues (#205) .github/workflows/clusterfuzzlite.yml #129: Commit c19fcba pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/clusterfuzzlite.yml #128: Commit c2b2ff6 pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/clusterfuzzlite.yml #127: Commit 8678d4f pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/clusterfuzzlite.yml #126: Commit 9228f6d pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
test .github/workflows/clusterfuzzlite.yml #125: Commit 3b8b6bc pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
refactor: migrate Markdown to AsciiDoc (#201) .github/workflows/clusterfuzzlite.yml #124: Commit 3932a8c pushed by hyperpolymath
Failure main
main
Failure
refactor: migrate repository documentation from Markdown to AsciiDoc .github/workflows/clusterfuzzlite.yml #123: Commit 7226e40 pushed by hyperpolymath
Failure refactor/md-to-adoc
refactor/md-to-adoc
Failure
chore(nix->guix): delete Nix estate-wide (#138) (#200) .github/workflows/clusterfuzzlite.yml #122: Commit 60ac138 pushed by hyperpolymath
Failure main
main
Failure
chore(nix->guix): delete Nix estate-wide (#138) .github/workflows/clusterfuzzlite.yml #121: Commit 6b0859f pushed by hyperpolymath
Failure chore/nix-sweep-138
chore/nix-sweep-138
Failure
fix(ci): add required permissions for reusable workflows (Bug B) .github/workflows/clusterfuzzlite.yml #120: Commit 1f51bf5 pushed by hyperpolymath
Failure fix/ci-426-batch2
fix/ci-426-batch2
Failure