All workflows

Workflow runs

• .github/workflows/scorecard-enforcer.yml

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

  Nov 9, 2026Failure
  More actions for workflow run 46

• .github/workflows/codeql.yml

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

  Nov 9, 2026Failure
  More actions for workflow run 78

• Echidna Proof Verification

  completed successfully:
  Echidna Proof Verification#32:Scheduled
  main

  Nov 9, 20263m 0s
  More actions for workflow run 32

• .github/workflows/scorecard.yml

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

  Nov 9, 2026Failure
  More actions for workflow run 121

• .github/workflows/scorecard.yml

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

  Nov 8, 2026Failure
  More actions for workflow run 120

• .github/workflows/hypatia-scan.yml

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

  Nov 8, 2026Failure
  More actions for workflow run 78

• .github/workflows/scorecard.yml

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

  Nov 7, 2026Failure
  More actions for workflow run 119

• .github/workflows/scorecard.yml

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

  Nov 6, 2026Failure
  More actions for workflow run 118

• .github/workflows/scorecard.yml

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

  Nov 5, 2026Failure
  More actions for workflow run 117

• pip in /. - Update #1682204927

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

  Nov 5, 202614m 47s

• nix in /. - Update #1682204949

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

  Nov 5, 202651s

• npm_and_yarn in /. - Update #1682204921

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

  Nov 5, 202650s

• github_actions in /. - Update #1682204928

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

  Nov 5, 20261m 2s

• .github/workflows/scorecard.yml

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

  Nov 4, 2026Failure
  More actions for workflow run 116

• .github/workflows/scorecard.yml

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

  Nov 3, 2026Failure
  More actions for workflow run 115

• .github/workflows/scorecard-enforcer.yml

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

  Nov 2, 2026Failure
  More actions for workflow run 45

• .github/workflows/codeql.yml

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

  Nov 2, 2026Failure
  More actions for workflow run 77

• Echidna Proof Verification

  completed successfully:
  Echidna Proof Verification#31:Scheduled
  main

  Nov 2, 20262m 42s
  More actions for workflow run 31

• .github/workflows/scorecard.yml

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

  Nov 2, 2026Failure
  More actions for workflow run 114

• .github/workflows/scorecard.yml

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

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

• .github/workflows/hypatia-scan.yml

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

  Nov 1, 2026-1s
  More actions for workflow run 77

• .github/workflows/scorecard.yml

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

  Oct 31, 2026Failure
  More actions for workflow run 112

• .github/workflows/scorecard.yml

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

  Oct 30, 2026Failure
  More actions for workflow run 111

• .github/workflows/scorecard.yml

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

  Oct 29, 2026Failure
  More actions for workflow run 110

• pip in /. - Update #1662182292

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

  Oct 29, 202616m 6s