CI: Abort early if Intel ADX instruction missing

Close #255
EspressoSystems · Mar 17, 2023 · e7b91ad · e7b91ad
1 parent 6c4e2c2
commit e7b91ad
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -25,6 +25,9 @@ jobs:
       - name: Check /proc/cpuinfo
         run: cat /proc/cpuinfo
 
+      - name: Abort early if Intel ADX instructions (required by zkevm-prover) is not available
+        run: cat /proc/cpuinfo | grep -q ' adx ' || ( echo "Retry CI in the hopes of getting another CPU" && exit 1 )
+
       - name: Install protoc
         run: sudo apt-get install -y protobuf-compiler