Merge pull request #323 from egraphs-good/dependabot/github_actions/actions-a331d3ec2d

Bump actions/checkout from 4 to 5 in the actions group

Author: saulshanabrook

.github/workflows/CI.yml

@@ -25,7 +25,7 @@ jobs:
           - "3.11"
           - "3.10"
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: astral-sh/setup-uv@v6
         with:
           enable-cache: true
@@ -38,7 +38,7 @@ jobs:
   mypy:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: astral-sh/setup-uv@v6
         with:
           enable-cache: true
@@ -55,7 +55,7 @@ jobs:
         # Run on codspeed for walltime and ubuntu for instrumenentation
         runner: [ codspeed-macro, ubuntu-latest ]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
@@ -77,7 +77,7 @@ jobs:
   docs:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: astral-sh/setup-uv@v6
         with:
           enable-cache: true

.github/workflows/update-changelog.yml

@@ -30,7 +30,7 @@ jobs:
             core.setOutput('head_ref', pullRequest.head.ref);
       
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           # Checkout the PR head ref
           ref: ${{ steps.pr-details.outputs.head_ref }}

.github/workflows/version.yml

@@ -35,7 +35,7 @@ jobs:
     outputs:
       version: ${{ steps.bump.outputs.version }}
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - run: |
           git config user.name github-actions[bot]
           git config user.email 41898282+github-actions[bot]@users.noreply.github.com
@@ -59,11 +59,11 @@ jobs:
     needs: [bump]
     if: ${{ always() }}
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'success' }}
         with:
           ref: version-${{ needs.bump.outputs.version }}
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'skipped' }}
       - uses: PyO3/[email protected]
         with:
@@ -83,11 +83,11 @@ jobs:
     needs: [bump]
     if: ${{ always() }}
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'success' }}
         with:
           ref: version-${{ needs.bump.outputs.version }}
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'skipped' }}
       - name: Setup QEMU
         uses: docker/setup-qemu-action@v3
@@ -108,11 +108,11 @@ jobs:
     needs: [bump]
     if: ${{ always() }}
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'success' }}
         with:
           ref: version-${{ needs.bump.outputs.version }}
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'skipped' }}
       - uses: PyO3/[email protected]
         with:
@@ -130,11 +130,11 @@ jobs:
     needs: [bump]
     if: ${{ always() }}
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'success' }}
         with:
           ref: version-${{ needs.bump.outputs.version }}
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         if: ${{ needs.bump.result == 'skipped' }}
       - uses: PyO3/[email protected]
         with:
@@ -169,7 +169,7 @@ jobs:
     permissions: write-all
     needs: [release, bump]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         with:
           ref: version-${{ needs.bump.outputs.version }}
       - run: |