Commits

Commit history

1. Commits on Oct 4, 2026

   • ci/github-script/{bot,merge,reviewers}: convert to TypeScript

     Show description for 148a05c
     mdaniels5757

     committed
     148a05cView commit details

     Copy full SHA for 148a05c

     View code at this pointBrowse repository at this point
2. Commits on Oct 2, 2026

   • ci/github-script: convert more to TypeScript (#567584)

     philiptaron

     authored
     46ed4a2View commit details

     Copy full SHA for 46ed4a2

     View code at this pointBrowse repository at this point

   • ci/github-script: convert more to TypeScript

     mdaniels5757

     committed
     00954dbView commit details

     Copy full SHA for 00954db

     View code at this pointBrowse repository at this point

   • .github: Bump korthout/backport-action from 4.6.1 to 4.7.0 (#569409)

     MattSturgeon

     authored
     e1a8d57View commit details

     Copy full SHA for e1a8d57

     View code at this pointBrowse repository at this point

   • workflows/eval: allow fork PR checkout of ci/pinned.json

     Show description for 9d1a333
     philiptaron

     committed
     9d1a333View commit details

     Copy full SHA for 9d1a333

     View code at this pointBrowse repository at this point

   • workflows/backport: allow fork PR checkout with actions/checkout v7

     Show description for 6f71237
     philiptaron

     committed
     6f71237View commit details

     Copy full SHA for 6f71237

     View code at this pointBrowse repository at this point

   • .github: Bump actions/checkout in /.github/actions/checkout

     Show description for 03b746c
     

     dependabot[bot]

     authored and

     philiptaron

     committed
     03b746cView commit details

     Copy full SHA for 03b746c

     View code at this pointBrowse repository at this point

   • .github: Bump actions/checkout from 6.0.3 to 7.0.1

     Show description for 8c09b93
     

     dependabot[bot]

     authored and

     philiptaron

     committed
     8c09b93View commit details

     Copy full SHA for 8c09b93

     View code at this pointBrowse repository at this point

   • .github: Bump actions/checkout from 6.0.3 to 7.0.0

     Show description for 754c76e
     

     dependabot[bot]

     authored and

     philiptaron

     committed
     754c76eView commit details

     Copy full SHA for 754c76e

     View code at this pointBrowse repository at this point

   • .github: Bump korthout/backport-action from 4.6.1 to 4.7.0

     Show description for 8a0a275
     dependabot[bot]

     authored
     8a0a275View commit details

     Copy full SHA for 8a0a275

     View code at this pointBrowse repository at this point
3. Commits on Sep 26, 2026

   • ci/github-script: convert various to TypeScript

     mdaniels5757

     committed
     32675f4View commit details

     Copy full SHA for 32675f4

     View code at this pointBrowse repository at this point

   • workflows/*: use self-repository syntax

     mdaniels5757

     committed
     fb37e8eView commit details

     Copy full SHA for fb37e8e

     View code at this pointBrowse repository at this point

   • ci/github-script/commits: convert to TypeScript (#559961)

     mdaniels5757

     authored
     b7a3adaView commit details

     Copy full SHA for b7a3ada

     View code at this pointBrowse repository at this point
4. Commits on Sep 25, 2026

   • .github: Bump korthout/backport-action from 4.6.0 to 4.6.1

     Show description for cdb0fb8
     dependabot[bot]

     authored
     cdb0fb8View commit details

     Copy full SHA for cdb0fb8

     View code at this pointBrowse repository at this point
5. Commits on Sep 22, 2026

   • ci: point documentation PRs at the styleguide (#562912)

     MattSturgeon

     authored
     27ed56eView commit details

     Copy full SHA for 27ed56e

     View code at this pointBrowse repository at this point

   • ci: post a reminder for updated paths

     Show description for 40bb731
     hsjobeki

     committed
     40bb731View commit details

     Copy full SHA for 40bb731

     View code at this pointBrowse repository at this point
6. Commits on Sep 19, 2026

   • ci/github-script/commits: convert to TypeScript

     Show description for 7f822c9
     mdaniels5757

     committed
     7f822c9View commit details

     Copy full SHA for 7f822c9

     View code at this pointBrowse repository at this point
7. Commits on Sep 18, 2026

   • ci/github-script/manual-file-edits: convert to TypeScript

     mdaniels5757

     committed
     4a7ddd0View commit details

     Copy full SHA for 4a7ddd0

     View code at this pointBrowse repository at this point
8. Commits on Sep 13, 2026

   • workflows/periodic-merge: use correct permissions

     mdaniels5757

     committed
     b73c356View commit details

     Copy full SHA for b73c356

     View code at this pointBrowse repository at this point

   • workflows/periodic-merge.yml: use new issue for failure reporting

     Show description for fa947fe
     mdaniels5757

     authored
     fa947feView commit details

     Copy full SHA for fa947fe

     View code at this pointBrowse repository at this point
9. Commits on Sep 4, 2026

   • .github: disable npm ci audit

     Show description for 887655a
     booxter

     committed
     887655aView commit details

     Copy full SHA for 887655a

     View code at this pointBrowse repository at this point
10. Commits on Aug 31, 2026

    • ci/github-script: convert to ES modules

      Show description for eb501c4
      mdaniels5757

      committed
      eb501c4View commit details

      Copy full SHA for eb501c4

      View code at this pointBrowse repository at this point

    • ci/supportedBranches.js: move to ci/github-script

      Show description for 2d813b7
      mdaniels5757

      committed
      2d813b7View commit details

      Copy full SHA for 2d813b7

      View code at this pointBrowse repository at this point
11. Commits on Aug 28, 2026

    • ci: Flag mass rebuilds on staging-nixos (#553786)

      MattSturgeon

      authored
      71094a6View commit details

      Copy full SHA for 71094a6

      View code at this pointBrowse repository at this point
12. Commits on Aug 21, 2026

    • .github: Bump cachix/install-nix-action from 31.11.0 to 31.11.1

      Show description for f91f92f
      dependabot[bot]

      authored
      f91f92fView commit details

      Copy full SHA for f91f92f

      View code at this pointBrowse repository at this point
13. Commits on Aug 20, 2026

    • ci/github-script: add npm scripts

      Show description for 198d0cd
      booxter

      committed
      198d0cdView commit details

      Copy full SHA for 198d0cd

      View code at this pointBrowse repository at this point
14. Commits on Aug 18, 2026

    • workflows/check: check github-script types

      mdaniels5757

      committed
      e27ea4eView commit details

      Copy full SHA for e27ea4e

      View code at this pointBrowse repository at this point

    • misc: update labeler following Coq -> Rocq renaming

      

      Zimmi48

      authored and

      vbgl

      committed
      e49e695View commit details

      Copy full SHA for e49e695

      View code at this pointBrowse repository at this point
15. Commits on Aug 11, 2026

    • ci/github-script: prep for typescript, convert check-target-branch (#550500)

      MattSturgeon

      authored
      31be06aView commit details

      Copy full SHA for 31be06a

      View code at this pointBrowse repository at this point

    • ci/github-script/check-target-branch: convert to TypeScript

      Show description for 2496d47
      mdaniels5757

      committed
      2496d47View commit details

      Copy full SHA for 2496d47

      View code at this pointBrowse repository at this point
16. Commits on Aug 10, 2026

    • .github/dependabot.yml: run on .github/actions/*/* too

      Show description for d09d53e
      

      mdaniels5757

      and

      MattSturgeon

      committed
      d09d53eView commit details

      Copy full SHA for d09d53e

      View code at this pointBrowse repository at this point
17. Commits on Aug 8, 2026

    • .github/actions/checkout: bump actions/github-script from 8 to 9

      mdaniels5757

      committed
      632c05cView commit details

      Copy full SHA for 632c05c

      View code at this pointBrowse repository at this point
18. Commits on Jul 31, 2026

    • .github: avoid full checkout on backport

      Show description for 830255b
      booxter

      committed
      830255bView commit details

      Copy full SHA for 830255b

      View code at this pointBrowse repository at this point
19. Commits on Jul 27, 2026

    • Revert ".github: Bump actions/checkout from 6.0.3 to 7.0.1"

      philiptaron

      authored
      efa8264View commit details

      Copy full SHA for efa8264

      View code at this pointBrowse repository at this point

    • .github: Bump actions/checkout from 6.0.3 to 7.0.1 (#545205)

      philiptaron

      authored
      4b03200View commit details

      Copy full SHA for 4b03200

      View code at this pointBrowse repository at this point