All workflows

Workflow runs

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#111:Scheduled
  main

  Oct 22, 2026Startup failure
  More actions for workflow run 111

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#110:Scheduled
  main

  Oct 21, 2026Startup failure
  More actions for workflow run 110

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#109:Scheduled
  main

  Oct 20, 2026Startup failure
  More actions for workflow run 109

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#98:Scheduled
  main

  Oct 19, 2026Startup failure
  More actions for workflow run 98

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#108:Scheduled
  main

  Oct 19, 2026Startup failure
  More actions for workflow run 108

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#107:Scheduled
  main

  Oct 18, 2026Startup failure
  More actions for workflow run 107

• Hypatia Security Scan

  failed:
  Hypatia Security Scan#101:Scheduled
  main

  Oct 18, 20266s
  More actions for workflow run 101

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#106:Scheduled
  main

  Oct 17, 2026Startup failure
  More actions for workflow run 106

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#105:Scheduled
  main

  Oct 16, 2026Startup failure
  More actions for workflow run 105

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#104:Scheduled
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 104

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#103:Scheduled
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 103

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#102:Scheduled
  main

  Oct 13, 2026Startup failure
  More actions for workflow run 102

• README: plain claims in the body, one status line (#37)

  failed at startup:
  CodeQL Security Analysis#97:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 97

• README: plain claims in the body, one status line (#37)

  failed at startup:
  GitHub Pages#40:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 40

• README: plain claims in the body, one status line (#37)

  failed at startup:
  Lean 4 Build#90:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 90

• README: plain claims in the body, one status line (#37)

  completed successfully:
  Secret Scanner#64:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 202613s
  More actions for workflow run 64

• README: plain claims in the body, one status line (#37)

  failed:
  Hypatia Security Scan#100:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 202656s
  More actions for workflow run 100

• README: plain claims in the body, one status line (#37)

  failed:
  Governance#85:Commitbbed3a0pushedbyhyperpolymath
  main

  Oct 12, 202620s
  More actions for workflow run 85

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#96:synchronizebycoderabbitai[bot]Bot
  claims-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 96

• Lean 4 Build

  failed at startup:
  Lean 4 Build#89:synchronizebycoderabbitai[bot]Bot
  claims-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 89

• README: plain claims in the body, one status line

  failed:
  Hypatia Security Scan#99:Pull request#37synchronizebycoderabbitai[bot]Bot
  claims-2026-10-12

  Oct 12, 20261m 4s
  More actions for workflow run 99

• README: plain claims in the body, one status line

  failed:
  Governance#84:Pull request#37synchronizebycoderabbitai[bot]Bot
  claims-2026-10-12

  Oct 12, 202618s
  More actions for workflow run 84

• README: plain claims in the body, one status line

  completed successfully:
  Secret Scanner#63:Pull request#37synchronizebycoderabbitai[bot]Bot
  claims-2026-10-12

  Oct 12, 202610s
  More actions for workflow run 63

• Lean 4 Build

  failed at startup:
  Lean 4 Build#88:openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 88

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#95:openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 95