All workflows

Workflow runs

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  failed:
  Coq Proof Gate#6:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 20261m 26s
  More actions for workflow run 6

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  Governance Baseline#129:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 20269s
  More actions for workflow run 129

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  CodeQL Security Analysis#1381:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 202648s
  More actions for workflow run 1381

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  .github/workflows/hypatia-scan.yml#1391:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 20261m 9s
  More actions for workflow run 1391

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  Secret Scanner#1432:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 202612s
  More actions for workflow run 1432

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  cancelled:
  CI#1368:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 202625m 24s
  More actions for workflow run 1368

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  Governance#1070:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 202620s
  More actions for workflow run 1070

• docs: record the Coq proof gate and the 2026-07-29 rescue session

  completed successfully:
  Stdlib Naming Convention#1175:Pull request#712openedbyhyperpolymath
  docs/state-2026-07-29

  Aug 3, 202614s
  More actions for workflow run 1175

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  .github/workflows/spark-theatre-gate.yml#920:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 20267s
  More actions for workflow run 920

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  .github/workflows/hypatia-scan.yml#1390:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 20261m 4s
  More actions for workflow run 1390

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Governance Baseline#128:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202612s
  More actions for workflow run 128

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Secret Scanner#1431:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202613s
  More actions for workflow run 1431

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  CI#1367:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 20263m 54s
  More actions for workflow run 1367

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Coq Proof Gate#5:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 20261m 36s
  More actions for workflow run 5

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Semgrep SAST#1387:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202653s
  More actions for workflow run 1387

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  CodeQL Security Analysis#1380:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202642s
  More actions for workflow run 1380

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Workflow Security Linter#513:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202617s
  More actions for workflow run 513

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Stdlib Naming Convention#1174:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202615s
  More actions for workflow run 1174

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Governance#1069:Pull request#711openedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202617s
  More actions for workflow run 1069

• fix(ci): repair the Coq gate on main — coqc not found

  completed successfully:
  Workflow Security Linter#512:Commit4676dc4pushedbyhyperpolymath
  fix/coq-gate-container

  Aug 3, 202616s
  More actions for workflow run 512

• Semgrep SAST

  completed successfully:
  Semgrep SAST#1386:Scheduled
  main

  Aug 3, 202646s
  More actions for workflow run 1386

• .github/workflows/scorecard.yml

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

  Aug 3, 202643s
  More actions for workflow run 695

• Panic-Attack (compliance scan)

  completed successfully:
  Panic-Attack (compliance scan)#10:Scheduled
  main

  Aug 2, 202638s
  More actions for workflow run 10

• .github/workflows/hypatia-scan.yml

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

  Aug 2, 20261m 13s
  More actions for workflow run 1389

• ci: bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the github-actions group

  completed successfully:
  .github/workflows/spark-theatre-gate.yml#919:Pull request#710openedbydependabot[bot]Bot
  dependabot/github_actions/github-actions-21c3c7556b

  Aug 1, 202610s
  More actions for workflow run 919