All workflows

Workflow runs

• 🟡 CHECK: OSSF Scorecard

  failed at startup:
  🟡 CHECK: OSSF Scorecard#117:Scheduled
  main

  Nov 12, 2026Startup failure
  More actions for workflow run 117

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#50:Scheduled
  main

  Nov 11, 20261m 19s
  More actions for workflow run 50

• 🟡 CHECK: OSSF Scorecard

  failed at startup:
  🟡 CHECK: OSSF Scorecard#116:Scheduled
  main

  Nov 11, 2026Startup failure
  More actions for workflow run 116

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  failed at startup:
  🟡 CHECK: OSSF Scorecard#115:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 2026Startup failure
  More actions for workflow run 115

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  completed successfully:
  Secret Scanner#117:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 202634s
  More actions for workflow run 117

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  failed:
  .github/workflows/main-estate-audit.yml#81:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 81

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  completed successfully:
  Documentation Integrity#153:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 202610s
  More actions for workflow run 153

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  completed successfully:
  Agda proofs#74:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 20262m 47s
  More actions for workflow run 74

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#43)

  completed successfully:
  CodeQL Advanced#49:Commit96ff750pushedbyhyperpolymath
  main

  Nov 10, 20267m 53s
  More actions for workflow run 49

• 🟡 CHECK: OSSF Scorecard

  failed at startup:
  🟡 CHECK: OSSF Scorecard#114:openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 2026Startup failure
  More actions for workflow run 114

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  Secret Scanner#116:Pull request#43openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 202632s
  More actions for workflow run 116

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  Documentation Integrity#152:Pull request#43openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 202615s
  More actions for workflow run 152

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  CodeQL Advanced#48:Pull request#43openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 202612m 33s
  More actions for workflow run 48

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  Agda proofs#73:Pull request#43openedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 20262m 47s
  More actions for workflow run 73

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  failed:
  .github/workflows/main-estate-audit.yml#80:Pull request#43byhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 2026Failure
  More actions for workflow run 80

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  completed successfully:
  Documentation Integrity#151:Commit600d34epushedbyhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 202615s
  More actions for workflow run 151

• Ledger: record where rows say more than the Agda states (#41)

  failed at startup:
  🟡 CHECK: OSSF Scorecard#113:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 2026-1s
  More actions for workflow run 113

• Ledger: record where rows say more than the Agda states (#41)

  failed at startup:
  Secret Scanner#115:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 2026Startup failure
  More actions for workflow run 115

• Ledger: record where rows say more than the Agda states (#41)

  completed successfully:
  Agda proofs#72:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 20263m 11s
  More actions for workflow run 72

• Ledger: record where rows say more than the Agda states (#41)

  completed successfully:
  CodeQL Advanced#47:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 202613m 20s
  More actions for workflow run 47

• Ledger: record where rows say more than the Agda states (#41)

  failed:
  .github/workflows/main-estate-audit.yml#79:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 79

• Ledger: record where rows say more than the Agda states (#41)

  completed successfully:
  Documentation Integrity#150:Commit39b4b1cpushedbyhyperpolymath
  main

  Nov 10, 20261m 50s
  More actions for workflow run 150

• Secret Scanner

  failed at startup:
  Secret Scanner#114:synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 10, 2026Startup failure
  More actions for workflow run 114

• 🟡 CHECK: OSSF Scorecard

  failed at startup:
  🟡 CHECK: OSSF Scorecard#112:synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 10, 2026Startup failure
  More actions for workflow run 112

• Ledger: record where rows say more than the Agda states

  completed successfully:
  Agda proofs#71:Pull request#41synchronizebyhyperpolymath
  claude/kcut-ladder-i0-b5zcm8

  Nov 10, 20263m 45s
  More actions for workflow run 71