diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index ee8a05b5c..e42b09f1f 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -76,7 +76,10 @@ jobs:
           alert-comment-cc-users: '@spapinistarkware'
 
   run-tests:
-    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macos-latest-xlarge]
+    runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@master
diff --git a/src/core/backend/mod.rs b/src/core/backend/mod.rs
index 026fbacc4..88feefc83 100644
--- a/src/core/backend/mod.rs
+++ b/src/core/backend/mod.rs
@@ -7,6 +7,7 @@ use super::fields::qm31::SecureField;
 use super::fields::FieldOps;
 use super::poly::circle::PolyOps;
 
+#[cfg(target_arch = "x86_64")]
 pub mod avx512;
 pub mod cpu;
 
diff --git a/src/core/fields/mod.rs b/src/core/fields/mod.rs
index 2114bc050..2ab0c9c37 100644
--- a/src/core/fields/mod.rs
+++ b/src/core/fields/mod.rs
@@ -6,7 +6,6 @@ use num_traits::{NumAssign, NumAssignOps, NumOps, One};
 
 use super::backend::ColumnOps;
 
-#[cfg(target_arch = "x86_64")]
 pub mod cm31;
 pub mod m31;
 pub mod qm31;