Bump actions/checkout from 5 to 6

.github/workflows/aead-build_test.yml

@@ -26,7 +26,7 @@ jobs:
         shell: bash
         working-directory: crates/primitives/aead
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: 🛠️ Setup Rust Nightly
         run: rustup toolchain install nightly-2024-12-14
@@ -59,7 +59,7 @@ jobs:
         working-directory: crates/primitives/aead
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}

.github/workflows/aes.yml

@@ -36,7 +36,7 @@ jobs:
         working-directory: crates/algorithms/aesgcm
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: taiki-e/install-action@cargo-hack
 
       - name: Update dependencies
@@ -127,7 +127,7 @@ jobs:
         working-directory: crates/algorithms/aesgcm
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Update dependencies
         run: cargo update
@@ -152,7 +152,7 @@ jobs:
         working-directory: crates/algorithms/aesgcm
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: 🛠️ Setup Rust Nightly
         run: |

.github/workflows/docker-c-build-test.yml

@@ -22,7 +22,7 @@ jobs:
       id-token: write
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Log in to the Container registry
         uses: docker/login-action@v3
@@ -50,7 +50,7 @@ jobs:
         working-directory: libcrux-ml-kem/extracts/c_header_only
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C (header only)
         run: |
@@ -73,7 +73,7 @@ jobs:
         working-directory: libcrux-ml-kem/extracts/cpp_header_only
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C++ (header only)
         run: |
@@ -97,7 +97,7 @@ jobs:
         working-directory: libcrux-ml-dsa
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C (header only)
         run: |

.github/workflows/docker-c-push-latest.yml

@@ -42,7 +42,7 @@ jobs:
       id-token: write
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - name: Log in to the Container registry
         uses: docker/login-action@v3
         with:

.github/workflows/ecdh-build-test.yml

@@ -42,7 +42,7 @@ jobs:
         working-directory: libcrux-ecdh
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}

.github/workflows/get-hax-ref.yml

@@ -15,7 +15,7 @@ jobs:
     outputs:
       hax_ref: ${{ steps.step1.outputs.hax_ref }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - id: step1
         run: |
           # use hax from the commit at which hax-lib is pinned in the Cargo.toml of libcrux.

.github/workflows/kem-build-test.yml

@@ -42,7 +42,7 @@ jobs:
         working-directory: libcrux-kem
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}

.github/workflows/libcrux-build-test.yml

@@ -39,7 +39,7 @@ jobs:
         shell: bash
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Update dependencies
         run: cargo update
@@ -140,7 +140,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: mymindstorm/setup-emsdk@6ab9eb1bda2574c4ddb79809fc9247783eaf9021
 
       - name: Setup

.github/workflows/libcrux-flake-update.yml

@@ -12,7 +12,7 @@ jobs:
   flake-update:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
         with:
           ref: ${{ inputs.branch }}
       - uses: DeterminateSystems/nix-installer-action@v20

.github/workflows/mldsa-bench.yml

@@ -44,7 +44,7 @@ jobs:
         working-directory: libcrux-ml-dsa
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}

.github/workflows/mldsa-build-test.yml

@@ -41,7 +41,7 @@ jobs:
         working-directory: libcrux-ml-dsa
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Update dependencies
         run: cargo update

.github/workflows/mldsa-c.yml

@@ -22,7 +22,7 @@ jobs:
     if: ${{ github.event_name != 'pull_request' }}
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: dorny/paths-filter@v3
         id: changes
         with:
@@ -63,7 +63,7 @@ jobs:
         working-directory: libcrux-ml-dsa
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C (header only)
         run: |
@@ -90,7 +90,7 @@ jobs:
           name: header-only-c-extraction-ml-dsa
           path: ~/mldsa-c-extraction
 
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Diff Extraction
         run: |

.github/workflows/mldsa-hax.yml

@@ -38,7 +38,7 @@ jobs:
       - get-hax-ref
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}
@@ -63,7 +63,7 @@ jobs:
       - extract
     if: ${{ github.event_name != 'merge_group' }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}
@@ -85,8 +85,8 @@ jobs:
       - get-hax-ref
       - extract
     steps:
-      - uses: actions/checkout@v5
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
+      - uses: actions/checkout@v6
         with:
           repository: cryspen/hax
           path: hax

.github/workflows/mlkem-bench.yml

@@ -43,7 +43,7 @@ jobs:
         working-directory: libcrux-ml-kem
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Update dependencies
         run: cargo update

.github/workflows/mlkem-build-test.yml

@@ -38,7 +38,7 @@ jobs:
         working-directory: libcrux-ml-kem
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: taiki-e/install-action@cargo-hack
 
       - name: Update dependencies
@@ -173,7 +173,7 @@ jobs:
         working-directory: libcrux-ml-kem
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Update dependencies
         run: cargo update
@@ -211,7 +211,7 @@ jobs:
         working-directory: libcrux-ml-kem
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: 🛠️ Setup Rust Nightly
         run: |

.github/workflows/mlkem-c.yml

@@ -20,7 +20,7 @@ jobs:
     if: ${{ github.event_name != 'pull_request' }}
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: dorny/paths-filter@v3
         id: changes
         with:
@@ -65,7 +65,7 @@ jobs:
         working-directory: libcrux-ml-kem/extracts/c
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C
         run: |
@@ -91,7 +91,7 @@ jobs:
         working-directory: libcrux-ml-kem/extracts/c_header_only
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C (header only)
         run: |
@@ -117,7 +117,7 @@ jobs:
         working-directory: libcrux-ml-kem/extracts/cpp_header_only
         shell: bash
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Extract C++
         run: |
@@ -149,7 +149,7 @@ jobs:
           name: c-ho-extraction-ml-kem
           path: ~/mlkem-c-extraction
 
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Diff Extraction C++
         run: |

.github/workflows/mlkem-hax.yml

@@ -37,7 +37,7 @@ jobs:
       - get-hax-ref
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}
@@ -63,7 +63,7 @@ jobs:
       - extract
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}
@@ -84,8 +84,8 @@ jobs:
       - get-hax-ref
       - extract
     steps:
-      - uses: actions/checkout@v5
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
+      - uses: actions/checkout@v6
         with:
           repository: cryspen/hax
           path: hax

.github/workflows/mlkem-s390x.yml

@@ -32,7 +32,7 @@ jobs:
     runs-on: ubuntu-latest
     name: Build on ubuntu-22.04 s390x
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: uraimo/run-on-arch-action@v3
         name: Run
         id: runcmd

.github/workflows/platform-build-test.yml

@@ -40,7 +40,7 @@ jobs:
         working-directory: sys/platform
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Update dependencies
         run: cargo update

.github/workflows/psq-build-test.yml

@@ -37,7 +37,7 @@ jobs:
         working-directory: libcrux-psq
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}

.github/workflows/secrets-build-test.yml

@@ -42,7 +42,7 @@ jobs:
         working-directory: secrets
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}

.github/workflows/sha3-hax.yml

@@ -38,7 +38,7 @@ jobs:
       - get-hax-ref
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}
@@ -63,7 +63,7 @@ jobs:
       - get-hax-ref
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}
@@ -88,7 +88,7 @@ jobs:
       - extract-portable
     if: ${{ github.event_name != 'merge_group' }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: hacspec/hax-actions@main
         with:
           hax_reference: ${{ github.event.inputs.hax_ref || needs.get-hax-ref.outputs.hax_ref }}

.github/workflows/specs-build-test.yml

@@ -41,7 +41,7 @@ jobs:
         echo "VCPKG_ROOT=$env:VCPKG_INSTALLATION_ROOT" | Out-File -FilePath $env:GITHUB_ENV -Append
         vcpkg install openssl:x64-windows-static-md
 
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
 
     - name: Update dependencies
       run: cargo update