All workflows

Workflow runs

• Hypatia Security Scan

  failed at startup:
  Hypatia Security Scan#660:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 2026Startup failure
  More actions for workflow run 660

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#345:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 2026Startup failure
  More actions for workflow run 345

• chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group

  completed successfully:
  Secret Scanner#328:Pull request#337openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 202613s
  More actions for workflow run 328

• chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group

  failed:
  Governance#626:Pull request#337openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 202620s
  More actions for workflow run 626

• chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group

  completed successfully:
  Agda#966:Pull request#337openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 202612m 19s
  More actions for workflow run 966

• github_actions in /. - Update #1607030637

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

  Oct 3, 20262m 10s

• docs: add Signed commits section to CONTRIBUTING (#333)

  completed successfully:
  Mirror to Git Forges#425:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 20265m 10s
  More actions for workflow run 425

• docs: add Signed commits section to CONTRIBUTING (#333)

  completed successfully:
  Governance#625:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 202623m 18s
  More actions for workflow run 625

• docs: add Signed commits section to CONTRIBUTING (#333)

  completed successfully:
  Secret Scanner#327:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 20264m 19s
  More actions for workflow run 327

• docs: add Signed commits section to CONTRIBUTING (#333)

  cancelled:
  Agda#965:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 202635m 0s
  More actions for workflow run 965

• docs: add Signed commits section to CONTRIBUTING (#333)

  completed successfully:
  Hypatia Security Scan#659:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 20265m 53s
  More actions for workflow run 659

• docs: add Signed commits section to CONTRIBUTING (#333)

  completed successfully:
  CodeQL Security Analysis#344:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 20268m 0s
  More actions for workflow run 344

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  Secret Scanner#326:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 20261m 17s
  More actions for workflow run 326

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  Mirror to Git Forges#424:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202611s
  More actions for workflow run 424

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  Governance#624:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202652s
  More actions for workflow run 624

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  CodeQL Security Analysis#343:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202646s
  More actions for workflow run 343

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  Agda#964:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202612m 45s
  More actions for workflow run 964

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  Hypatia Security Scan#658:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202646s
  More actions for workflow run 658

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  Governance#623:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 202648s
  More actions for workflow run 623

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  Secret Scanner#325:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 202615s
  More actions for workflow run 325

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  Agda#963:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 202612m 39s
  More actions for workflow run 963

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  CodeQL Security Analysis#342:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 202641s
  More actions for workflow run 342

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  Hypatia Security Scan#657:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 20261m 5s
  More actions for workflow run 657

• docs/foundation.adoc cites flake.guix, which does not exist on main (removed with flake.nix in #275)

  completed successfully:
  Label Triage#8:Issue#335openedbyhyperpolymath
  Oct 1, 202610s
  More actions for workflow run 8

• chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs gree…

  completed successfully:
  Secret Scanner#324:Commit511ef25pushedbyhyperpolymath
  main

  Oct 1, 20261m 52s
  More actions for workflow run 324