All workflows

Workflow runs

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#40:Scheduled
  main

  Nov 6, 2026Failure
  More actions for workflow run 40

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#39:Scheduled
  main

  Nov 5, 2026Failure
  More actions for workflow run 39

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#38:Scheduled
  main

  Nov 4, 2026Failure
  More actions for workflow run 38

• feat: gate proof checks and add cost-state witnesses (#16)

  failed at startup:
  GitHub Pages#13:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 2026Startup failure
  More actions for workflow run 13

• feat: gate proof checks and add cost-state witnesses (#16)

  failed at startup:
  Code Quality#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 2026Startup failure
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  failed at startup:
  Session IR (R0-B)#31:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 2026Startup failure
  More actions for workflow run 31

• feat: gate proof checks and add cost-state witnesses (#16)

  failed:
  Central Estate CI/CD Audit#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202614s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Lock Sync Gate#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 20268s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  failed:
  Dogfood Gate#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202639s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Proofs (R0-B Occ, R1 stackcert)#9:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 20268m 32s
  More actions for workflow run 9

• feat: gate proof checks and add cost-state witnesses (#16)

  failed:
  OpenSSF Compliance#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202614s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  CodeQL Security Analysis#51:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202650s
  More actions for workflow run 51

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  ℹ️ ADVISORY: Dogfooding Compliance Scorecard#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202610s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  skipped:
  Push email notification#55:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 20262s
  More actions for workflow run 55

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  SonarQube#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 20268s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Runtime Policy#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202611s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Static Analysis Gate#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202659s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  🟡 CHECK: DEED Manifest Validation#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202611s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  🔴 GATE: Invisible Character Detection#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202610s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Guix Package Policy#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202612s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Workflow Security Linter#51:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202612s
  More actions for workflow run 51

• feat: gate proof checks and add cost-state witnesses (#16)

  skipped:
  BoJ Server Build Trigger#13:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 20267s
  More actions for workflow run 13

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  🟡 CHECK: K9 Contract Validation#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202611s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Security Policy#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202610s
  More actions for workflow run 49

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Lean 4 proof manifest#7:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 202631s
  More actions for workflow run 7