update cargo

Certora · Nov 17, 2024 · 2800c8c · 2800c8c
1 parent d45da73
commit 2800c8c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,7 +8,7 @@ on:
 jobs:
   build-mac:
     runs-on: macos-latest
-    # needs: build-linux # TODO: remove this
+    needs: build-linux # TODO: remove this
     env:
       TAG: ${{ github.ref_name }}
     steps:
@@ -37,7 +37,7 @@ jobs:
 
   build-linux:
     runs-on: ubuntu-latest
-    needs: build-mac # TODO: remove this
+    # needs: build-mac # TODO: remove this
     env:
       TAG: ${{ github.ref_name }}
     steps:

diff --git a/justfile b/justfile
@@ -34,7 +34,7 @@ build-cargo:
 
 [linux]
 build-cargo:
-	cd {{ out_dir }}/cargo && env OPENSSL_STATIC=1 OPENSSL_LIB_DIR=/usr/lib/x86_64-linux-gnu OPENSSL_INCLUDE_DIR=/usr/include/openssl cargo build --release
+	cd {{ out_dir }}/cargo && cargo update && env OPENSSL_STATIC=1 OPENSSL_LIB_DIR=/usr/lib/x86_64-linux-gnu OPENSSL_INCLUDE_DIR=/usr/include/openssl cargo build --release
 
 
 [linux,macos]