All workflows

Workflow runs

• chore(license): replace 2 verisim-* subdir LICENSEs + flip 69 SPDX (Phase 2)

  completed successfully:
  .github/workflows/hypatia-scan.yml#255:Pull request#30openedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 20261m 5s
  More actions for workflow run 255

• chore(license): replace 2 verisim-* subdir LICENSEs + flip 69 SPDX (Phase 2)

  completed successfully:
  .github/workflows/secret-scanner.yml#261:Pull request#30openedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 202619s
  More actions for workflow run 261

• chore(license): replace 2 verisim-* subdir LICENSEs + flip 69 SPDX (Phase 2)

  failed:
  .github/workflows/governance.yml#33:Pull request#30openedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 202650s
  More actions for workflow run 33

• chore(license): replace 2 verisim-* subdir LICENSEs + flip 69 SPDX (Phase 2)

  completed successfully:
  CodeQL Security Analysis#255:Pull request#30openedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 20261m 4s
  More actions for workflow run 255

• chore(license): replace 2 verisim-* subdir LICENSEs + flip 69 SPDX (Phase 2)

  failed:
  Dogfood Gate#129:Pull request#30openedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 202644s
  More actions for workflow run 129

• chore(license): replace 2 subdir LICENSEs + flip 69 SPDX (Phase 2 — v…

  failed:
  BoJ Server Build Trigger#185:Commit834c875pushedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 2026Failure
  More actions for workflow run 185

• chore(license): replace 2 subdir LICENSEs + flip 69 SPDX (Phase 2 — v…

  failed:
  .github/workflows/instant-sync.yml#238:Commit834c875pushedbyhyperpolymath
  chore/license-phase-2-verisim-license-spdx

  Jun 2, 2026Failure
  More actions for workflow run 238

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra)

  failed:
  .github/workflows/governance.yml#32:Pull request#29openedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 202622s
  More actions for workflow run 32

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra)

  completed successfully:
  .github/workflows/secret-scanner.yml#260:Pull request#29openedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 202619s
  More actions for workflow run 260

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra)

  completed successfully:
  .github/workflows/hypatia-scan.yml#254:Pull request#29openedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 20261m 14s
  More actions for workflow run 254

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra)

  failed:
  Dogfood Gate#128:Pull request#29openedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 202624s
  More actions for workflow run 128

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra)

  completed successfully:
  CodeQL Security Analysis#254:Pull request#29openedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 20261m 3s
  More actions for workflow run 254

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + small infra)

  completed successfully:
  Verify TLA+ specs (verisimdb)#13:Pull request#29openedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 202623s
  More actions for workflow run 13

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + s…

  failed:
  BoJ Server Build Trigger#184:Commita8213a9pushedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 2026Failure
  More actions for workflow run 184

• chore(license): flip 155 PMPL→MPL-2.0 SPDX stamps (Phase 1 — root + s…

  failed:
  .github/workflows/instant-sync.yml#237:Commita8213a9pushedbyhyperpolymath
  chore/license-phase-1-spdx-mpl-2-0

  Jun 2, 2026Failure
  More actions for workflow run 237

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#253:Scheduled
  main

  Jun 1, 20262m 22s
  More actions for workflow run 253

• OpenSSF Scorecard Enforcer

  failed:
  OpenSSF Scorecard Enforcer#223:Scheduled
  main

  Jun 1, 20261m 37s
  More actions for workflow run 223

• Verify TLA+ specs (verisimdb)

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

  Jun 1, 202623s
  More actions for workflow run 12

• .github/workflows/scorecard.yml

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

  Jun 1, 20261s
  More actions for workflow run 310

• .github/workflows/hypatia-scan.yml

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

  May 31, 20268h 8m 17s
  More actions for workflow run 253

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#28)

  failed:
  .github/workflows/governance.yml#31:Commit9620cf3pushedbyhyperpolymath
  main

  May 30, 202614h 13m 21s
  More actions for workflow run 31

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#28)

  cancelled:
  .github/workflows/hypatia-scan.yml#252:Commit9620cf3pushedbyhyperpolymath
  main

  May 30, 202610h 23m 48s
  More actions for workflow run 252

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#28)

  failed at startup:
  .github/workflows/scorecard.yml#309:Commit9620cf3pushedbyhyperpolymath
  main

  May 30, 20261s
  More actions for workflow run 309

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#28)

  completed successfully:
  .github/workflows/mirror.yml#208:Commit9620cf3pushedbyhyperpolymath
  main

  May 30, 202614h 14m 49s
  More actions for workflow run 208

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#28)

  completed successfully:
  .github/workflows/secret-scanner.yml#259:Commit9620cf3pushedbyhyperpolymath
  main

  May 30, 202614h 14m 10s
  More actions for workflow run 259