ci: update cargo dependencies

cryspen · Jun 5, 2024 · 34fc123 · 34fc123
1 parent 01899c1
commit 34fc123
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -28,6 +28,9 @@ jobs:
       - uses: DeterminateSystems/nix-installer-action@main
       - uses: DeterminateSystems/magic-nix-cache-action@main
 
+      - name: Update dependencies
+        run: cargo update
+
       - name: ⤵ Install FStar
         run: nix profile install github:FStarLang/FStar/v2024.01.13
 

diff --git a/.github/workflows/mldsa.yml b/.github/workflows/mldsa.yml
@@ -41,6 +41,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Update dependencies
+        run: cargo update
+
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}
 

diff --git a/.github/workflows/mlkem.yml b/.github/workflows/mlkem.yml
@@ -41,6 +41,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Update dependencies
+        run: cargo update
+
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}
 
@@ -168,6 +171,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Update dependencies
+        run: cargo update
+
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}
 

diff --git a/.github/workflows/platform.yml b/.github/workflows/platform.yml
@@ -41,6 +41,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Update dependencies
+        run: cargo update
+
       - name: 🔨 Build
         run: cargo build --verbose
 

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -40,6 +40,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Update dependencies
+        run: cargo update
+
       - run: echo "RUST_TARGET_FLAG=" > $GITHUB_ENV
         if: ${{ matrix.bits == 64 }}
 

diff --git a/.github/workflows/specs.yml b/.github/workflows/specs.yml
@@ -41,6 +41,9 @@ jobs:
 
     - uses: actions/checkout@v3
 
+    - name: Update dependencies
+      run: cargo update
+
     - name: Build
       working-directory: specs
       run: cargo build --verbose