.github/workflows/scorecard.yml

Workflow runs for .github/workflows/scorecard.yml

• .github/workflows/scorecard.yml

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

  Oct 26, 2026Failure
  More actions for workflow run 713

• .github/workflows/scorecard.yml

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

  Oct 19, 20267s
  More actions for workflow run 712

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#711:Scheduled
  main

  Oct 12, 20261m 13s
  More actions for workflow run 711

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#710:Scheduled
  main

  Oct 5, 20261m 18s
  More actions for workflow run 710

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#709:Scheduled
  main

  Sep 28, 20261m 8s
  More actions for workflow run 709

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#708:Scheduled
  main

  Sep 21, 202649s
  More actions for workflow run 708

• .github/workflows/scorecard.yml

  failed at startup:
  .github/workflows/scorecard.yml#707:Scheduled
  main

  Sep 14, 2026Startup failure
  More actions for workflow run 707

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#706:deletedbyhyperpolymath
  Sep 11, 20266s
  More actions for workflow run 706

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#705:createdbyhyperpolymath
  Sep 11, 202656s
  More actions for workflow run 705

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#704:Scheduled
  main

  Sep 7, 202647s
  More actions for workflow run 704

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#703:Scheduled
  main

  Aug 31, 202655s
  More actions for workflow run 703

• .github/workflows/scorecard.yml

  failed at startup:
  .github/workflows/scorecard.yml#702:Scheduled
  main

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

• .github/workflows/scorecard.yml

  failed at startup:
  .github/workflows/scorecard.yml#701:Scheduled
  main

  Aug 17, 2026Startup failure
  More actions for workflow run 701

• .github/workflows/scorecard.yml

  failed at startup:
  .github/workflows/scorecard.yml#700:Scheduled
  main

  Aug 10, 2026Startup failure
  More actions for workflow run 700

• ci: bump the github-actions group across 1 directory with 4 updates (…

  completed successfully:
  .github/workflows/scorecard.yml#699:Commit5070534pushedbyhyperpolymath
  main

  Aug 3, 202637s
  More actions for workflow run 699

• Make bisect_ppx actually instrument the library — coverage was measur…

  completed successfully:
  .github/workflows/scorecard.yml#698:Commit8f1b06apushedbyhyperpolymath
  main

  Aug 3, 202627s
  More actions for workflow run 698

• docs: record the Coq proof gate and the 2026-07-29 rescue session (#712)

  completed successfully:
  .github/workflows/scorecard.yml#697:Commit707fd5fpushedbyhyperpolymath
  main

  Aug 3, 202611m 27s
  More actions for workflow run 697

• fix(ci): repair the Coq gate on main — coqc not found (#711)

  completed successfully:
  .github/workflows/scorecard.yml#696:Commit7f6cb79pushedbyhyperpolymath
  main

  Aug 3, 202612m 45s
  More actions for workflow run 696

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#695:Scheduled
  main

  Aug 3, 202643s
  More actions for workflow run 695

• ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709)

  completed successfully:
  .github/workflows/scorecard.yml#694:Commited4e223pushedbyhyperpolymath
  main

  Jul 28, 202649s
  More actions for workflow run 694

• ci: bump the github-actions group with 3 updates (#707)

  completed successfully:
  .github/workflows/scorecard.yml#693:Commit3e34d7fpushedbyhyperpolymath
  main

  Jul 28, 202641s
  More actions for workflow run 693

• rescue: INT-02 / INT-09 / INT-11 — recover stranded feature work from…

  completed successfully:
  .github/workflows/scorecard.yml#692:Commit9a27760pushedbyhyperpolymath
  main

  Jul 28, 202629s
  More actions for workflow run 692

• .github/workflows/scorecard.yml

  completed successfully:
  .github/workflows/scorecard.yml#691:Scheduled
  main

  Jul 27, 202636s
  More actions for workflow run 691

• ci: bump the github-actions group across 1 directory with 8 updates (…

  completed successfully:
  .github/workflows/scorecard.yml#690:Commit1c169c0pushedbyhyperpolymath
  main

  Jul 23, 202628m 53s
  More actions for workflow run 690

• fix(ci): estate-wide foundational remediation (#706)

  completed successfully:
  .github/workflows/scorecard.yml#689:Commite200bf3pushedbyhyperpolymath
  main

  Jul 23, 202616m 56s
  More actions for workflow run 689