All workflows

Workflow runs

• docs(citation): correct CITATION.cff title/abstract and complete ORCI…

  completed successfully:
  BoJ Server Build Trigger#118:Commit793b731pushedbyhyperpolymath
  main

  Oct 1, 20263m 17s
  More actions for workflow run 118

• docs(citation): correct CITATION.cff title/abstract and complete ORCI…

  failed:
  Proof Gate#54:Commit793b731pushedbyhyperpolymath
  main

  Oct 1, 20262m 58s
  More actions for workflow run 54

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#216:Scheduled
  main

  Oct 1, 20261m 41s
  More actions for workflow run 216

• Labels

  completed successfully:
  Labels#5:Scheduled
  main

  Oct 1, 202621s
  More actions for workflow run 5

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  .github/workflows/secret-scanner.yml#209:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 20267m 27s
  More actions for workflow run 209

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  .github/workflows/mirror.yml#133:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 20267m 57s
  More actions for workflow run 133

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  failed:
  .github/workflows/hypatia-scan.yml#228:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 20267m 37s
  More actions for workflow run 228

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  failed:
  .github/workflows/rust-ci.yml#174:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 202614m 25s
  More actions for workflow run 174

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  failed:
  .github/workflows/governance.yml#124:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 202614m 32s
  More actions for workflow run 124

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  GitHub Pages#99:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 202614m 21s
  More actions for workflow run 99

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  CodeQL Security Analysis#215:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 20267m 18s
  More actions for workflow run 215

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  failed:
  Dogfood Gate#187:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 202614m 14s
  More actions for workflow run 187

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  BoJ Server Build Trigger#117:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 20267m 39s
  More actions for workflow run 117

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  failed:
  Proof Gate#53:Commitcfdf35epushedbyhyperpolymath
  main

  Oct 1, 20266m 17s
  More actions for workflow run 53

• .github/workflows/scorecard.yml

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

  Sep 28, 202650s
  More actions for workflow run 217

• Label Triage

  failed at startup:
  Label Triage#1:openedbyarena-ai-coding-agent[bot]Bot
  Sep 27, 2026Startup failure
  More actions for workflow run 1

• chore(deps): bump the actions group with 3 updates (#61)

  completed successfully:
  .github/workflows/mirror.yml#132:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 20261m 36s
  More actions for workflow run 132

• chore(deps): bump the actions group with 3 updates (#61)

  failed:
  .github/workflows/rust-ci.yml#173:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 20261m 30s
  More actions for workflow run 173

• chore(deps): bump the actions group with 3 updates (#61)

  completed successfully:
  .github/workflows/governance.yml#123:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 20261m 26s
  More actions for workflow run 123

• chore(deps): bump the actions group with 3 updates (#61)

  completed successfully:
  .github/workflows/secret-scanner.yml#208:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 202650s
  More actions for workflow run 208

• chore(deps): bump the actions group with 3 updates (#61)

  failed:
  .github/workflows/hypatia-scan.yml#227:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 20261m 5s
  More actions for workflow run 227

• chore(deps): bump the actions group with 3 updates (#61)

  failed:
  Proof Gate#52:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 202629s
  More actions for workflow run 52

• chore(deps): bump the actions group with 3 updates (#61)

  completed successfully:
  GitHub Pages#98:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 20263m 30s
  More actions for workflow run 98

• chore(deps): bump the actions group with 3 updates (#61)

  completed successfully:
  CodeQL Security Analysis#214:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 20261m 5s
  More actions for workflow run 214

• chore(deps): bump the actions group with 3 updates (#61)

  completed successfully:
  BoJ Server Build Trigger#116:Commitc1f6ea3pushedbyhyperpolymath
  main

  Sep 27, 202650s
  More actions for workflow run 116