All workflows

Workflow runs

• Run the real A2ML/K9 validators; fix a startup_failure in boj-build.yml

  completed successfully:
  .github/workflows/hypatia-scan.yml#323:Pull request#59openedbyhyperpolymath
  fix/ci-gates-round2

  Jul 27, 202611m 12s
  More actions for workflow run 323

• Run the real A2ML/K9 validators; fix a startup_failure in boj-build.yml

  completed successfully:
  CodeQL Security Analysis#323:Pull request#59openedbyhyperpolymath
  fix/ci-gates-round2

  Jul 27, 202611m 18s
  More actions for workflow run 323

• Run the real A2ML/K9 validators; fix a startup_failure in boj-build.yml

  failed:
  Placement Guard#41:Pull request#59openedbyhyperpolymath
  fix/ci-gates-round2

  Jul 27, 202610m 20s
  More actions for workflow run 41

• chore: drop the superseded playground package.json

  failed:
  BoJ Server Build Trigger#258:Commit3c33b77pushedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 2026Failure
  More actions for workflow run 258

• fix(ci): run the real A2ML/K9 validators; teach K9 to follow a let bi…

  failed:
  BoJ Server Build Trigger#257:Commit82c1ccapushedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 2026Failure
  More actions for workflow run 257

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  completed successfully:
  .github/workflows/mirror.yml#236:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202617s
  More actions for workflow run 236

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  completed successfully:
  .github/workflows/secret-scanner.yml#322:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202612s
  More actions for workflow run 322

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  failed:
  .github/workflows/governance.yml#92:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202648s
  More actions for workflow run 92

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  completed successfully:
  .github/workflows/scorecard.yml#349:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202635s
  More actions for workflow run 349

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  completed successfully:
  .github/workflows/hypatia-scan.yml#322:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 20261m 19s
  More actions for workflow run 322

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  failed:
  Dogfood Gate#188:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202622s
  More actions for workflow run 188

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  completed successfully:
  CodeQL Security Analysis#322:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202640s
  More actions for workflow run 322

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  completed successfully:
  Placement Guard#40:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 202614s
  More actions for workflow run 40

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  failed:
  GitHub Pages#138:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 20268s
  More actions for workflow run 138

• Remove the extracted lithoglyph tree — it existed in two places (#58)

  failed:
  BoJ Server Build Trigger#256:Commitc42ed14pushedbyhyperpolymath
  main

  Jul 27, 2026Failure
  More actions for workflow run 256

• Remove the extracted lithoglyph tree — it existed in two places

  failed:
  .github/workflows/governance.yml#91:Pull request#58openedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 20262m 31s
  More actions for workflow run 91

• Remove the extracted lithoglyph tree — it existed in two places

  completed successfully:
  .github/workflows/hypatia-scan.yml#321:Pull request#58openedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 20262m 36s
  More actions for workflow run 321

• Remove the extracted lithoglyph tree — it existed in two places

  completed successfully:
  .github/workflows/secret-scanner.yml#321:Pull request#58openedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 20261m 28s
  More actions for workflow run 321

• Remove the extracted lithoglyph tree — it existed in two places

  completed successfully:
  Placement Guard#39:Pull request#58openedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 20261m 6s
  More actions for workflow run 39

• Remove the extracted lithoglyph tree — it existed in two places

  failed:
  Dogfood Gate#187:Pull request#58openedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 20263m 21s
  More actions for workflow run 187

• Remove the extracted lithoglyph tree — it existed in two places

  completed successfully:
  CodeQL Security Analysis#321:Pull request#58openedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 20261m 39s
  More actions for workflow run 321

• chore: remove the extracted lithoglyph tree; it lived in two places

  failed:
  BoJ Server Build Trigger#255:Commit88a6a6fpushedbyhyperpolymath
  chore/submodule-extracted-dbs

  Jul 27, 2026Failure
  More actions for workflow run 255

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#320:Scheduled
  main

  Jul 27, 202638s
  More actions for workflow run 320

• Verify TLA+ specs (verisimdb)

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

  Jul 27, 202624s
  More actions for workflow run 24

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#348:Scheduled
  main

  Jul 27, 202628s
  More actions for workflow run 348