Merge pull request #2038 from starkware-libs/dori/merge-main-v0.13.2-…

…into-main Dori/Merge main-v0.13.2 into main
starkware-libs · Jul 4, 2024 · 539e71d · 539e71d
2 parents bad24f2 + a98187b
commit 539e71d
Show file tree

Hide file tree

Showing 20 changed files with 162 additions and 224 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -76,6 +76,17 @@ jobs:
 
       - run: scripts/clippy.sh
 
+  featureless-build:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: Swatinem/rust-cache@v2
+        with:
+          prefix-key: "v0-rust-ubuntu-20.04"
+      - run: cargo build -p blockifier
+      - run: cargo test -p blockifier
+
   run-python-tests:
     runs-on: ubuntu-20.04
     steps:

diff --git a/.github/workflows/post-merge.yml b/.github/workflows/post-merge.yml
@@ -10,10 +10,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@master
-        with:
-          components: rustfmt
-          toolchain: nightly-2024-01-12
+      - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
         with:
           prefix-key: "v0-rust-ubuntu-20.04"

diff --git a/.github/workflows/verify-deps.yml b/.github/workflows/verify-deps.yml
@@ -7,7 +7,7 @@ on:
 jobs:
   latest_deps:
     name: Latest Dependencies
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     continue-on-error: true
     steps:
       - uses: actions/checkout@v4