ClusterFuzzLite

Workflow runs for ClusterFuzzLite

• ClusterFuzzLite

  completed successfully:
  ClusterFuzzLite#163:Scheduled
  main

  Oct 18, 202632m 5s
  More actions for workflow run 163

• ClusterFuzzLite

  completed successfully:
  ClusterFuzzLite#162:Scheduled
  main

  Oct 11, 202632m 14s
  More actions for workflow run 162

• fix(SafeFiniteField): reject irreducibles not of degree n before reduction

  completed successfully:
  ClusterFuzzLite#161:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 20262m 1s
  More actions for workflow run 161

• fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal

  completed successfully:
  ClusterFuzzLite#160:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 20262m 15s
  More actions for workflow run 160

• ClusterFuzzLite

  completed successfully:
  ClusterFuzzLite#159:Scheduled
  main

  Oct 4, 202632m 2s
  More actions for workflow run 159

• ClusterFuzzLite

  completed successfully:
  ClusterFuzzLite#158:Scheduled
  main

  Sep 27, 202632m 2s
  More actions for workflow run 158

• ClusterFuzzLite

  failed at startup:
  ClusterFuzzLite#157:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

  Sep 27, 2026Startup failure
  More actions for workflow run 157

• ClusterFuzzLite

  completed successfully:
  ClusterFuzzLite#156:Scheduled
  main

  Sep 20, 20261h 21m 43s
  More actions for workflow run 156

• Fix/idris2 totality and elaboration cures

  completed successfully:
  ClusterFuzzLite#155:Pull request#217synchronizebyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 17, 202620m 2s
  More actions for workflow run 155

• fix(ci): repair unparseable permissions scalar (2 workflow file(s))

  completed successfully:
  ClusterFuzzLite#154:Pull request#218openedbyhyperpolymath
  fix/workflow-permissions-scalar-parse-error

  Sep 14, 20262m 47s
  More actions for workflow run 154

• fix(idris2): cure seven build blockers — build goes VOID → RED, front…

  failed:
  ClusterFuzzLite#153:Commit3b118cbpushedbyhyperpolymath
  main

  Sep 13, 2026Failure
  More actions for workflow run 153

• Merge branch 'main' into fix/idris2-build-blockers

  failed:
  ClusterFuzzLite#152:Commiteae3500pushedbyhyperpolymath
  fix/idris2-build-blockers

  Sep 13, 2026Failure
  More actions for workflow run 152

• chore(dependabot): cap open pull requests per update block (#216)

  failed:
  ClusterFuzzLite#151:Commitb6bd74epushedbyhyperpolymath
  main

  Sep 13, 2026Failure
  More actions for workflow run 151

• feat: add modern GitHub rulesets for maximum compliance

  failed:
  ClusterFuzzLite#150:Commit59af2a2pushedbyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 11, 2026Failure
  More actions for workflow run 150

• Revert Idris 2 build repair changes

  failed:
  ClusterFuzzLite#149:Commit75133c8pushedbycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 2026Failure
  More actions for workflow run 149

• Harden Idris2 build scripts with version and environment checks

  failed:
  ClusterFuzzLite#148:Commiteb0bba5pushedbycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 2026Failure
  More actions for workflow run 148

• Update src/Proven/SafeRegex/Parser.idr

  failed:
  ClusterFuzzLite#147:Commit82e200bpushedbyhyperpolymath
  fix/idris2-build-blockers

  Sep 9, 2026-1s
  More actions for workflow run 147

• Merge branch 'main' into fix/idris2-build-blockers

  failed:
  ClusterFuzzLite#146:Commit728dbc5pushedbyhyperpolymath
  fix/idris2-build-blockers

  Sep 8, 2026Failure
  More actions for workflow run 146

• chore(dependabot): cap open pull requests per update block

  failed:
  ClusterFuzzLite#145:Commit156ae6epushedbyhyperpolymath
  chore/dependabot-pr-caps-2026-09-08

  Sep 8, 2026Failure
  More actions for workflow run 145

• fix: restore identifiers and prose destroyed by the blanking sweep

  failed:
  ClusterFuzzLite#144:Commit6a81bcapushedbyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 4, 2026Failure
  More actions for workflow run 144

• chore(ci): repoint push-email-notify to smtp-notify-action (#215)

  failed:
  ClusterFuzzLite#143:Commitb047620pushedbyhyperpolymath
  main

  Sep 3, 2026Failure
  More actions for workflow run 143

• chore(ci): repoint push-email-notify to smtp-notify-action

  failed:
  ClusterFuzzLite#142:Commit2f7a6a7pushedbyhyperpolymath
  chore/smtp-notify-action

  Sep 3, 2026Failure
  More actions for workflow run 142

• wip(cures): preserve 77 uncommitted Idris2 totality/elaboration cure …

  failed:
  ClusterFuzzLite#141:Commitd2d57a0pushedbyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Aug 31, 2026Failure
  More actions for workflow run 141

• chore: bump standards workflow pins (#214)

  failed:
  ClusterFuzzLite#140:Commitaa6dbd2pushedbyhyperpolymath
  main

  Aug 31, 2026Failure
  More actions for workflow run 140

• Merge branch 'chore/bump-standards-pins'

  failed:
  ClusterFuzzLite#139:Commit83476fcpushedbyhyperpolymath
  chore/bump-standards-pins-2026-08-30

  Aug 31, 2026-1s
  More actions for workflow run 139