All workflows

Workflow runs

• .github/workflows/scorecard.yml

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

  Oct 5, 2026Failure
  More actions for workflow run 61

• .github/workflows/scorecard.yml

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

  Oct 4, 2026Failure
  More actions for workflow run 60

• Fuzzing

  failed:
  Fuzzing#50:Scheduled
  main

  Oct 4, 202610s
  More actions for workflow run 50

• .github/workflows/hypatia-scan.yml

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

  Oct 4, 2026-1s
  More actions for workflow run 48

• .github/workflows/scorecard.yml

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

  Oct 3, 2026Failure
  More actions for workflow run 59

• pip in /. - Update #1605584283

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

  Oct 2, 20261m 3s

• github_actions in /. - Update #1605584294

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

  Oct 2, 20261m 9s

• .github/workflows/scorecard.yml

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

  Oct 2, 2026Failure
  More actions for workflow run 58

• docs: add Signed commits section to CONTRIBUTING (#16)

  completed successfully:
  Mirror to Git Forges#38:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 20263m 40s
  More actions for workflow run 38

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  Governance#45:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 202617m 39s
  More actions for workflow run 45

• docs: add Signed commits section to CONTRIBUTING (#16)

  completed successfully:
  Secret Scanner#45:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 20263m 57s
  More actions for workflow run 45

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  .github/workflows/codeql.yml#46:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 2026Failure
  More actions for workflow run 46

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  .github/workflows/hypatia-scan.yml#47:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 2026Failure
  More actions for workflow run 47

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  .github/workflows/scorecard.yml#57:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 2026Failure
  More actions for workflow run 57

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  Fuzzing#49:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 20262m 58s
  More actions for workflow run 49

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  Idris2 Tests#44:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 20262m 20s
  More actions for workflow run 44

• docs: add Signed commits section to CONTRIBUTING (#16)

  failed:
  ReScript Tests#44:Commita1c1df4pushedbyhyperpolymath
  main

  Oct 1, 20262m 24s
  More actions for workflow run 44

• Push on main

  completed successfully:
  CodeQL#26:byhyperpolymath
  main

  Oct 1, 20266m 17s

• github_actions in /. - Update #1603307262

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

  Oct 1, 20261m 3s

• pip in /. - Update #1603307273

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

  Oct 1, 202645s

• .github/workflows/codeql.yml

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

  Oct 1, 2026Failure
  More actions for workflow run 45

• Code scanning AI findings on PR #16

  completed successfully:
  GitHub Advanced Security#1:bygithub-advanced-security[bot]AI
  docs/signing-policy-d218

  Oct 1, 202656m 47s
  More actions for workflow run 1

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Governance#44:Pull request#16openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202631m 17s
  More actions for workflow run 44

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Secret Scanner#44:Pull request#16openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20268m 57s
  More actions for workflow run 44

• docs: add Signed commits section to CONTRIBUTING

  failed:
  .github/workflows/codeql.yml#44:Pull request#16byhyperpolymath
  docs/signing-policy-d218

  Oct 1, 2026Failure
  More actions for workflow run 44