All workflows

Workflow runs

• .github/workflows/rust-ci.yml

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

  Nov 2, 2026Failure
  More actions for workflow run 338

• Squabble

  completed successfully:
  Squabble#43:Scheduled
  main

  Nov 2, 202618s
  More actions for workflow run 43

• Central Estate CI/CD Audit

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

  Nov 2, 202612s
  More actions for workflow run 101

• .github/workflows/scorecard.yml

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

  Nov 2, 2026Failure
  More actions for workflow run 411

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Dashboard Check#192:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 20263m 29s
  More actions for workflow run 192

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Idris ABI typecheck#74:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 20261m 20s
  More actions for workflow run 74

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Squabble#42:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 202623s
  More actions for workflow run 42

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  skipped:
  Dependabot Auto-Merge#172:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 20261s
  More actions for workflow run 172

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Agda proofs#54:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 20261m 14s
  More actions for workflow run 54

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  E2E + Aspect + Bench + Security#338:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 20263m 27s
  More actions for workflow run 338

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Dogfood Gate#325:Pull request#166synchronizebycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 20262m 46s
  More actions for workflow run 325

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/governance.yml#296:Pull request#166bycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 296

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/codeql.yml#444:Pull request#166bycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 444

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/rust-ci.yml#337:Pull request#166bycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 337

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/hypatia-scan.yml#421:Pull request#166bycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 421

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/secret-scanner.yml#428:Pull request#166bycoderabbitai[bot]Bot
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 428

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Dogfood Gate#324:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 20263m 57s
  More actions for workflow run 324

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Agda proofs#53:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 202654s
  More actions for workflow run 53

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  cancelled:
  Squabble#41:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 20261m 25s
  More actions for workflow run 41

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  skipped:
  Dependabot Auto-Merge#171:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 202610s
  More actions for workflow run 171

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Idris ABI typecheck#73:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 202647s
  More actions for workflow run 73

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  Dashboard Check#191:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 20264m 38s
  More actions for workflow run 191

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  completed successfully:
  E2E + Aspect + Bench + Security#337:Pull request#166synchronizebyhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 20263m 30s
  More actions for workflow run 337

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/rust-ci.yml#336:Pull request#166byhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 336

• Identity from code, proof grades under mathesis, and the epistemic proof rewritten in Agda

  failed:
  .github/workflows/codeql.yml#443:Pull request#166byhyperpolymath
  arena/ed943c46-januskey

  Nov 1, 2026Failure
  More actions for workflow run 443