All workflows

Workflow runs

• chore(deps): Bump the actions group across 1 directory with 3 updates

  failed:
  .github/workflows/secret-scanner.yml#159:Commit5b0def4pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 19, 2026Failure
  More actions for workflow run 159

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit)

  failed:
  .github/workflows/governance.yml#8:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 31m 37s
  More actions for workflow run 8

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit)

  failed:
  Ada (GNAT)#201:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 31m 14s
  More actions for workflow run 201

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit)

  completed successfully:
  .github/workflows/hypatia-scan.yml#128:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 31m 41s
  More actions for workflow run 128

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit)

  completed successfully:
  CodeQL Security Analysis#176:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 30m 39s
  More actions for workflow run 176

• docs(proof): add modshells PROOF-NEEDS with SPARK no-op exemption

  failed:
  .github/workflows/secret-scanner.yml#158:Commit1b588e7pushedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 2026Failure
  More actions for workflow run 158

• github_actions in / for github/codeql-action, actions/upload-artifact, actions/github-script - Update #1374089476

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

  May 19, 20262h 54m 35s

• github_actions in /. - Update #1374089447

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

  May 19, 20262h 51m 10s

• .github/workflows/scorecard.yml

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

  May 19, 20265h 56m 53s
  More actions for workflow run 289

• OpenSSF Scorecard Enforcer

  failed:
  OpenSSF Scorecard Enforcer#108:Scheduled
  main

  May 18, 202614h 50m 44s
  More actions for workflow run 108

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#175:Scheduled
  main

  May 18, 202613h 20m 11s
  More actions for workflow run 175

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  failed:
  .github/workflows/governance.yml#7:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 7m 51s
  More actions for workflow run 7

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  completed successfully:
  .github/workflows/scorecard.yml#288:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 3m 23s
  More actions for workflow run 288

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  completed successfully:
  .github/workflows/hypatia-scan.yml#127:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 9m 19s
  More actions for workflow run 127

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  completed successfully:
  .github/workflows/mirror.yml#129:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 5m 3s
  More actions for workflow run 129

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  failed:
  Instant Sync#99:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 8m 42s
  More actions for workflow run 99

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  cancelled:
  OpenSSF Scorecard Enforcer#107:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202648m 43s
  More actions for workflow run 107

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  failed:
  Ada (GNAT)#200:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202612h 9m 44s
  More actions for workflow run 200

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  cancelled:
  CodeQL Security Analysis#174:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202617m 28s
  More actions for workflow run 174

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  failed:
  .github/workflows/secret-scanner.yml#157:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 2026Failure
  More actions for workflow run 157

• harden(ci): concurrency-cancel guard on canonical check workflows

  failed:
  Ada (GNAT)#199:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 2m 33s
  More actions for workflow run 199

• harden(ci): concurrency-cancel guard on canonical check workflows

  failed:
  .github/workflows/governance.yml#6:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 6m 11s
  More actions for workflow run 6

• harden(ci): concurrency-cancel guard on canonical check workflows

  completed successfully:
  .github/workflows/hypatia-scan.yml#126:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 6m 44s
  More actions for workflow run 126

• harden(ci): concurrency-cancel guard on canonical check workflows

  completed successfully:
  CodeQL Security Analysis#173:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 5m 58s
  More actions for workflow run 173

• harden(ci): concurrency-cancel guard on canonical check workflows

  failed:
  .github/workflows/secret-scanner.yml#156:Commitb50b851pushedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 2026Failure
  More actions for workflow run 156