All workflows

Workflow runs

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#286:Scheduled
  main

  Aug 24, 2026Startup failure
  More actions for workflow run 286

• Scorecards supply-chain security

  failed:
  Scorecards supply-chain security#414:Scheduled
  main

  Aug 24, 2026Failure
  More actions for workflow run 414

• chore: global textual eradication of Nix and ReScript

  failed at startup:
  CodeQL Security Analysis#285:Commitc84a144pushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 285

• chore: global textual eradication of Nix and ReScript

  failed at startup:
  Hypatia Security Scan#601:Commitc84a144pushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 601

• chore: global textual eradication of Nix and ReScript

  failed:
  Secret Scanner#274:Commitc84a144pushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 274

• chore: global textual eradication of Nix and ReScript

  failed:
  Mirror to Git Forges#400:Commitc84a144pushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 400

• chore: global textual eradication of Nix and ReScript

  failed:
  Governance#572:Commitc84a144pushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 572

• chore: global textual eradication of Nix and ReScript

  completed successfully:
  Agda#912:Commitc84a144pushedbyhyperpolymath
  main

  Aug 23, 202612m 41s
  More actions for workflow run 912

• chore(nix->guix): delete Nix estate-wide (#138)

  failed at startup:
  CodeQL Security Analysis#284:Commit0029a09pushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 284

• chore(nix->guix): delete Nix estate-wide (#138)

  failed at startup:
  Hypatia Security Scan#600:Commit0029a09pushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 600

• chore(nix->guix): delete Nix estate-wide (#138)

  failed:
  Governance#571:Commit0029a09pushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 571

• chore(nix->guix): delete Nix estate-wide (#138)

  failed:
  Secret Scanner#273:Commit0029a09pushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 273

• chore(nix->guix): delete Nix estate-wide (#138)

  failed:
  Mirror to Git Forges#399:Commit0029a09pushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 399

• chore(nix->guix): delete Nix estate-wide (#138)

  completed successfully:
  Agda#911:Commit0029a09pushedbyhyperpolymath
  main

  Aug 23, 202646m 8s
  More actions for workflow run 911

• chore(guix): quality pass - fix stub/invalid names (#139)

  failed at startup:
  Hypatia Security Scan#599:Commite96c15fpushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 599

• chore(guix): quality pass - fix stub/invalid names (#139)

  failed at startup:
  CodeQL Security Analysis#283:Commite96c15fpushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 283

• chore(guix): quality pass - fix stub/invalid names (#139)

  failed:
  Mirror to Git Forges#398:Commite96c15fpushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 398

• chore(guix): quality pass - fix stub/invalid names (#139)

  failed:
  Secret Scanner#272:Commite96c15fpushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 272

• chore(guix): quality pass - fix stub/invalid names (#139)

  failed:
  Governance#570:Commite96c15fpushedbyhyperpolymath
  main

  Aug 23, 2026Failure
  More actions for workflow run 570

• chore(guix): quality pass - fix stub/invalid names (#139)

  completed successfully:
  Agda#910:Commite96c15fpushedbyhyperpolymath
  main

  Aug 23, 20268m 59s
  More actions for workflow run 910

• Hypatia Security Scan

  failed at startup:
  Hypatia Security Scan#598:Scheduled
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 598

• chore(deps): bump the actions group with 2 updates (#304)

  failed at startup:
  CodeQL Security Analysis#282:Commitea82632pushedbyhyperpolymath
  main

  Aug 22, 2026Startup failure
  More actions for workflow run 282

• chore(deps): bump the actions group with 2 updates (#304)

  failed at startup:
  Hypatia Security Scan#597:Commitea82632pushedbyhyperpolymath
  main

  Aug 22, 2026Startup failure
  More actions for workflow run 597

• chore(deps): bump the actions group with 2 updates (#304)

  failed:
  Governance#569:Commitea82632pushedbyhyperpolymath
  main

  Aug 22, 2026Failure
  More actions for workflow run 569

• chore(deps): bump the actions group with 2 updates (#304)

  failed:
  Mirror to Git Forges#397:Commitea82632pushedbyhyperpolymath
  main

  Aug 22, 2026Failure
  More actions for workflow run 397