All workflows

Workflow runs

• docs: proof review against PROOF-POLICY; proof ledger; plan correction

  failed:
  .github/workflows/hypatia-scan.yml#1608:Pull request#787byhyperpolymath
  claude/funny-faraday-rp3su1

  Nov 9, 2026Failure
  More actions for workflow run 1608

• .github/workflows/scorecard.yml

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

  Nov 9, 2026-1s
  More actions for workflow run 715

• Panic-Attack (compliance scan)

  failed at startup:
  Panic-Attack (compliance scan)#25:Scheduled
  main

  Nov 8, 2026Startup failure
  More actions for workflow run 25

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#1607:Scheduled
  main

  Nov 8, 2026-1s
  More actions for workflow run 1607

• CI

  failed at startup:
  CI#1561:synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 2026Startup failure
  More actions for workflow run 1561

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  Governance Baseline#331:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 20268s
  More actions for workflow run 331

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  Secret Scanner#1634:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 20267s
  More actions for workflow run 1634

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  CodeQL Security Analysis#1586:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 202646s
  More actions for workflow run 1586

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  DEED Manifest Validation#85:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 20267s
  More actions for workflow run 85

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  Stdlib Naming Convention#1368:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 20268s
  More actions for workflow run 1368

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  Workflow Security Linter#713:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 202611s
  More actions for workflow run 713

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  Governance#1272:Pull request#784synchronizebydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 202610s
  More actions for workflow run 1272

• ci: bump the github-actions group across 1 directory with 3 updates

  failed:
  .github/workflows/hypatia-scan.yml#1606:Pull request#784bydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 2026Failure
  More actions for workflow run 1606

• ci: bump the github-actions group across 1 directory with 3 updates

  failed:
  .github/workflows/spark-theatre-gate.yml#1123:Pull request#784bydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 2026Failure
  More actions for workflow run 1123

• ci: bump the github-actions group across 1 directory with 3 updates

  completed successfully:
  Workflow Security Linter#712:Commit29cdc63pushedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-7d4f659725

  Nov 7, 20269s
  More actions for workflow run 712

• github_actions in / for github/codeql-action, hyperpolymath/smtp-notify-action, ocaml/setup-ocaml - Update #1686796064

  completed successfully:
  Dependabot Updates#70:bydependabot[bot]Bot
  main

  Nov 7, 20261m 40s

• github_actions in /. - Update #1686796000

  completed successfully:
  Dependabot Updates#69:bydependabot[bot]Bot
  main

  Nov 7, 202628s

• docs: completion architecture and ultracode plan (#786)

  failed at startup:
  GitHub Pages#675:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 2026Startup failure
  More actions for workflow run 675

• docs: completion architecture and ultracode plan (#786)

  failed at startup:
  CodeQL Security Analysis#1585:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 2026Startup failure
  More actions for workflow run 1585

• docs: completion architecture and ultracode plan (#786)

  failed at startup:
  CI#1560:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 2026Startup failure
  More actions for workflow run 1560

• docs: completion architecture and ultracode plan (#786)

  completed successfully:
  Governance Baseline#330:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 202615s
  More actions for workflow run 330

• docs: completion architecture and ultracode plan (#786)

  completed successfully:
  DEED Manifest Validation#84:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 202613s
  More actions for workflow run 84

• docs: completion architecture and ultracode plan (#786)

  failed:
  .github/workflows/spark-theatre-gate.yml#1122:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 2026Failure
  More actions for workflow run 1122

• docs: completion architecture and ultracode plan (#786)

  completed successfully:
  Stdlib Naming Convention#1367:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 20267s
  More actions for workflow run 1367

• docs: completion architecture and ultracode plan (#786)

  completed successfully:
  Governance#1271:Commit9167b04pushedbyhyperpolymath
  main

  Nov 4, 202617s
  More actions for workflow run 1271