All workflows

Workflow runs

• 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

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

  failed:
  Hypatia Security Scan#98:Pull request#37openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 20261m 20s
  More actions for workflow run 98

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

  completed successfully:
  Secret Scanner#62:Pull request#37openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 20261m 3s
  More actions for workflow run 62

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

  failed:
  Governance#83:Pull request#37openedbyhyperpolymath
  claims-2026-10-12

  Oct 12, 20261m 9s
  More actions for workflow run 83

• CodeQL Security Analysis

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

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

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#101:Scheduled
  main

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

• OSSF Scorecard

  failed at startup:
  OSSF Scorecard#100:Scheduled
  main

  Oct 11, 2026Startup failure
  More actions for workflow run 100

• Hypatia Security Scan

  failed:
  Hypatia Security Scan#97:Scheduled
  main

  Oct 11, 202654s
  More actions for workflow run 97