All workflows

Workflow runs

• .github/workflows/scorecard-enforcer.yml

  failed:
  .github/workflows/scorecard-enforcer.yml#44:Scheduled
  main

  Oct 26, 2026Failure
  More actions for workflow run 44

• .github/workflows/codeql.yml

  failed:
  .github/workflows/codeql.yml#76:Scheduled
  main

  Oct 26, 2026Failure
  More actions for workflow run 76

• Echidna Proof Verification

  cancelled:
  Echidna Proof Verification#30:Scheduled
  main

  Oct 26, 202630m 33s
  More actions for workflow run 30

• .github/workflows/scorecard.yml

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

  Oct 26, 2026Failure
  More actions for workflow run 107

• .github/workflows/scorecard.yml

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

  Oct 25, 2026Failure
  More actions for workflow run 106

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#76:Scheduled
  main

  Oct 25, 2026Failure
  More actions for workflow run 76

• .github/workflows/scorecard.yml

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

  Oct 24, 2026Failure
  More actions for workflow run 105

• .github/workflows/scorecard.yml

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

  Oct 23, 2026Failure
  More actions for workflow run 104

• .github/workflows/scorecard.yml

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

  Oct 22, 2026Failure
  More actions for workflow run 103

• nix in /. - Update #1644234877

  failed:
  Dependabot Updates#43:bydependabot[bot]Bot
  main

  Oct 22, 202643s

• npm_and_yarn in /. - Update #1644234874

  completed successfully:
  Dependabot Updates#42:bydependabot[bot]Bot
  main

  Oct 22, 202650s

• github_actions in /. - Update #1644234870

  completed successfully:
  Dependabot Updates#41:bydependabot[bot]Bot
  main

  Oct 22, 20261m 11s

• pip in /. - Update #1644234864

  completed successfully:
  Dependabot Updates#40:bydependabot[bot]Bot
  main

  Oct 22, 202617m 15s

• .github/workflows/scorecard.yml

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

  Oct 21, 2026Failure
  More actions for workflow run 102

• .github/workflows/scorecard.yml

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

  Oct 20, 2026Failure
  More actions for workflow run 101

• .github/workflows/scorecard-enforcer.yml

  failed:
  .github/workflows/scorecard-enforcer.yml#43:Scheduled
  main

  Oct 19, 2026Failure
  More actions for workflow run 43

• .github/workflows/codeql.yml

  failed:
  .github/workflows/codeql.yml#75:Scheduled
  main

  Oct 19, 2026Failure
  More actions for workflow run 75

• Echidna Proof Verification

  completed successfully:
  Echidna Proof Verification#29:Scheduled
  main

  Oct 19, 20262m 39s
  More actions for workflow run 29

• .github/workflows/scorecard.yml

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

  Oct 19, 2026Failure
  More actions for workflow run 100

• .github/workflows/scorecard.yml

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

  Oct 18, 2026Failure
  More actions for workflow run 99

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#75:Scheduled
  main

  Oct 18, 2026Failure
  More actions for workflow run 75

• .github/workflows/scorecard.yml

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

  Oct 17, 2026Failure
  More actions for workflow run 98

• .github/workflows/scorecard.yml

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

  Oct 16, 2026Failure
  More actions for workflow run 97

• chore(deps): bump actions/upload-artifact from 7.0.1 to 7.0.2 in the …

  completed successfully:
  Mirror to Git Forges#37:Commitb873cefpushedbyhyperpolymath
  main

  Oct 15, 202611s
  More actions for workflow run 37

• chore(deps): bump actions/upload-artifact from 7.0.1 to 7.0.2 in the …

  failed:
  Governance#79:Commitb873cefpushedbyhyperpolymath
  main

  Oct 15, 202615s
  More actions for workflow run 79