All workflows

Workflow runs

• Update README.adoc

  failed:
  .github/workflows/instant-sync.yml#246:Commitbfcde76pushedbyhyperpolymath
  main

  Jun 9, 2026Failure
  More actions for workflow run 246

• Update README.adoc

  failed at startup:
  .github/workflows/scorecard.yml#316:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 2026Startup failure
  More actions for workflow run 316

• Update README.adoc

  failed:
  .github/workflows/governance.yml#38:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 20262m 5s
  More actions for workflow run 38

• Update README.adoc

  completed successfully:
  .github/workflows/hypatia-scan.yml#261:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 20261m 9s
  More actions for workflow run 261

• Update README.adoc

  completed successfully:
  .github/workflows/mirror.yml#212:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 202615s
  More actions for workflow run 212

• Update README.adoc

  completed successfully:
  .github/workflows/secret-scanner.yml#266:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 202623s
  More actions for workflow run 266

• Update README.adoc

  failed:
  Dogfood Gate#134:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 202624s
  More actions for workflow run 134

• Update README.adoc

  failed:
  GitHub Pages#114:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 202622m 32s
  More actions for workflow run 114

• Update README.adoc

  completed successfully:
  CodeQL Security Analysis#261:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 20261m 21s
  More actions for workflow run 261

• Update README.adoc

  failed:
  OpenSSF Scorecard Enforcer#228:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 202655s
  More actions for workflow run 228

• Update README.adoc

  failed:
  BoJ Server Build Trigger#192:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 2026Failure
  More actions for workflow run 192

• Update README.adoc

  failed:
  .github/workflows/instant-sync.yml#245:Commitc099765pushedbyhyperpolymath
  main

  Jun 9, 2026Failure
  More actions for workflow run 245

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#260:Scheduled
  main

  Jun 8, 20261m 17s
  More actions for workflow run 260

• OpenSSF Scorecard Enforcer

  failed:
  OpenSSF Scorecard Enforcer#227:Scheduled
  main

  Jun 8, 202643s
  More actions for workflow run 227

• Verify TLA+ specs (verisimdb)

  completed successfully:
  Verify TLA+ specs (verisimdb)#15:Scheduled
  main

  Jun 8, 202622s
  More actions for workflow run 15

• .github/workflows/scorecard.yml

  failed at startup:
  .github/workflows/scorecard.yml#315:Scheduled
  main

  Jun 8, 20261s
  More actions for workflow run 315

• .github/workflows/hypatia-scan.yml

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

  Jun 7, 20261m 6s
  More actions for workflow run 260

• nix in /. - Update #1399232685

  failed:
  Dependabot Updates#29:bydependabot[bot]Bot
  main

  Jun 5, 202652s

• cargo in /. - Update #1399232682

  failed:
  Dependabot Updates#28:bydependabot[bot]Bot
  main

  Jun 5, 202637s

• pip in /. - Update #1399232683

  failed:
  Dependabot Updates#27:bydependabot[bot]Bot
  main

  Jun 5, 202638s

• hex in /. - Update #1399232330

  failed:
  Dependabot Updates#26:bydependabot[bot]Bot
  main

  Jun 5, 202638s

• npm_and_yarn in /. - Update #1399232308

  failed:
  Dependabot Updates#25:bydependabot[bot]Bot
  main

  Jun 5, 202644s

• github_actions in /. - Update #1399232302

  failed:
  Dependabot Updates#24:bydependabot[bot]Bot
  main

  Jun 5, 202636s

• Migration A1 + governance B1: artifacts, SafeDOM examples, K9 magic

  failed:
  BoJ Server Build Trigger#191:Commit49ed346pushedbyhyperpolymath
  claude/practical-newton-9eFe2

  Jun 5, 2026Failure
  More actions for workflow run 191

• Migration A1 + governance B1: artifacts, SafeDOM examples, K9 magic

  failed:
  .github/workflows/instant-sync.yml#244:Commit49ed346pushedbyhyperpolymath
  claude/practical-newton-9eFe2

  Jun 5, 2026Failure
  More actions for workflow run 244