E2E + Safety + Bench

Workflow runs for E2E + Safety + Bench

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

  failed:
  E2E + Safety + Bench#395:Commita32c3b6pushedbyhyperpolymath
  main

  Oct 6, 20261m 5s
  More actions for workflow run 395

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

  failed:
  E2E + Safety + Bench#394:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 202632s
  More actions for workflow run 394

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

  failed:
  E2E + Safety + Bench#393:Commitced0ca5pushedbyhyperpolymath
  main

  Oct 6, 20269m 23s
  More actions for workflow run 393

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

  failed:
  E2E + Safety + Bench#392:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 20261m 13s
  More actions for workflow run 392

• fix: restore the Idris2 0.8 package build (#226)

  failed at startup:
  E2E + Safety + Bench#391:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

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

• E2E + Safety + Bench

  failed at startup:
  E2E + Safety + Bench#390:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

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

• Fix/idris2 totality and elaboration cures (#217)

  failed:
  E2E + Safety + Bench#389:Commita92d237pushedbyhyperpolymath
  main

  Sep 17, 202637s
  More actions for workflow run 389

• Fix/idris2 totality and elaboration cures

  failed:
  E2E + Safety + Bench#388:Pull request#217synchronizebyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 17, 202659s
  More actions for workflow run 388

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

  completed successfully:
  E2E + Safety + Bench#387:Commitb30bdbfpushedbyhyperpolymath
  main

  Sep 15, 202634s
  More actions for workflow run 387

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

  failed:
  E2E + Safety + Bench#386:Commit3b118cbpushedbyhyperpolymath
  main

  Sep 13, 2026Failure
  More actions for workflow run 386

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

  failed:
  E2E + Safety + Bench#385:Commiteae3500pushedbyhyperpolymath
  fix/idris2-build-blockers

  Sep 13, 2026Failure
  More actions for workflow run 385

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

  failed:
  E2E + Safety + Bench#384:Commitb6bd74epushedbyhyperpolymath
  main

  Sep 13, 2026Failure
  More actions for workflow run 384

• feat: add modern GitHub rulesets for maximum compliance

  failed:
  E2E + Safety + Bench#383:Commit59af2a2pushedbyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 11, 2026Failure
  More actions for workflow run 383

• Revert Idris 2 build repair changes

  failed:
  E2E + Safety + Bench#382:Commit75133c8pushedbycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 2026Failure
  More actions for workflow run 382

• Harden Idris2 build scripts with version and environment checks

  failed:
  E2E + Safety + Bench#381:Commiteb0bba5pushedbycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 2026Failure
  More actions for workflow run 381

• Update src/Proven/SafeRegex/Parser.idr

  failed:
  E2E + Safety + Bench#380:Commit82e200bpushedbyhyperpolymath
  fix/idris2-build-blockers

  Sep 9, 2026Failure
  More actions for workflow run 380

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

  failed:
  E2E + Safety + Bench#379:Commit728dbc5pushedbyhyperpolymath
  fix/idris2-build-blockers

  Sep 8, 2026Failure
  More actions for workflow run 379

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

  failed:
  E2E + Safety + Bench#378:Commit156ae6epushedbyhyperpolymath
  chore/dependabot-pr-caps-2026-09-08

  Sep 8, 2026Failure
  More actions for workflow run 378

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

  failed:
  E2E + Safety + Bench#377:Commit6a81bcapushedbyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 4, 2026Failure
  More actions for workflow run 377

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

  failed:
  E2E + Safety + Bench#376:Commitb047620pushedbyhyperpolymath
  main

  Sep 3, 2026Failure
  More actions for workflow run 376

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

  failed:
  E2E + Safety + Bench#375:Commit2f7a6a7pushedbyhyperpolymath
  chore/smtp-notify-action

  Sep 3, 2026Failure
  More actions for workflow run 375

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

  failed:
  E2E + Safety + Bench#374:Commitd2d57a0pushedbyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Aug 31, 2026Failure
  More actions for workflow run 374

• chore: bump standards workflow pins (#214)

  failed:
  E2E + Safety + Bench#373:Commitaa6dbd2pushedbyhyperpolymath
  main

  Aug 31, 2026Failure
  More actions for workflow run 373

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

  failed:
  E2E + Safety + Bench#372:Commit83476fcpushedbyhyperpolymath
  chore/bump-standards-pins-2026-08-30

  Aug 31, 2026Failure
  More actions for workflow run 372

• fix(ci): the invisible-character gate never matched anything (#207)

  failed:
  E2E + Safety + Bench#371:Commite615ba0pushedbyhyperpolymath
  main

  Aug 27, 2026Failure
  More actions for workflow run 371