All workflows

Workflow runs

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/secret-scanner.yml#403:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 403

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/rust-ci.yml#312:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 312

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/governance.yml#271:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 271

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/hypatia-scan.yml#395:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 395

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/codeql.yml#418:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 418

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  skipped:
  Dependabot Auto-Merge#151:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 20261s
  More actions for workflow run 151

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  completed successfully:
  Squabble#16:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 202618s
  More actions for workflow run 16

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  completed successfully:
  Agda proofs#28:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 20261m 15s
  More actions for workflow run 28

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  completed successfully:
  E2E + Aspect + Bench + Security#312:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 20261m 16s
  More actions for workflow run 312

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  completed successfully:
  Dogfood Gate#299:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 202633s
  More actions for workflow run 299

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  completed successfully:
  Dashboard Check#166:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 20262m 23s
  More actions for workflow run 166

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  completed successfully:
  Idris ABI typecheck#48:Pull request#161openedbyhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 202635s
  More actions for workflow run 48

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/governance.yml#270:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 270

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/hypatia-scan.yml#394:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 394

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/secret-scanner.yml#402:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 402

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/codeql.yml#417:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 417

• proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the gaps it exposes (T-4..T-7)

  failed:
  .github/workflows/rust-ci.yml#311:Pull request#161byhyperpolymath
  claude/new-session-lwzjw0

  Oct 26, 2026Failure
  More actions for workflow run 311

• .github/workflows/rust-ci.yml

  failed:
  .github/workflows/rust-ci.yml#310:Scheduled
  main

  Oct 26, 2026Failure
  More actions for workflow run 310

• Squabble

  completed successfully:
  Squabble#15:Scheduled
  main

  Oct 26, 202619s
  More actions for workflow run 15

• Central Estate CI/CD Audit

  completed successfully:
  Central Estate CI/CD Audit#95:Scheduled
  main

  Oct 26, 202612s
  More actions for workflow run 95

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#410:Scheduled
  main

  Oct 26, 2026Failure
  More actions for workflow run 410

• .github/workflows/hypatia-scan.yml

  completed successfully:
  .github/workflows/hypatia-scan.yml#393:Scheduled
  main

  Oct 25, 202655s
  More actions for workflow run 393

• chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabb…

  completed successfully:
  Central Estate CI/CD Audit#94:Commit10f0bc2pushedbyhyperpolymath
  main

  Oct 22, 202612s
  More actions for workflow run 94

• chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabb…

  completed successfully:
  .github/workflows/hypatia-scan.yml#392:Commit10f0bc2pushedbyhyperpolymath
  main

  Oct 22, 202647s
  More actions for workflow run 392

• chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabb…

  completed successfully:
  .github/workflows/secret-scanner.yml#401:Commit10f0bc2pushedbyhyperpolymath
  main

  Oct 22, 202613s
  More actions for workflow run 401