diff --git a/.github/workflows/kani-m1.yml b/.github/workflows/kani-m1.yml
new file mode 100644
index 000000000000..e9f973c82919
--- /dev/null
+++ b/.github/workflows/kani-m1.yml
@@ -0,0 +1,30 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
+# Run the regression job on Apple M1 only on commits to `main`
+name: Kani CI M1
+on:
+  push:
+    branches:
+      - 'main'
+
+env:
+  RUST_BACKTRACE: 1
+
+jobs:
+  regression:
+    runs-on: macos-13-xlarge
+    steps:
+      - name: Checkout Kani
+        uses: actions/checkout@v3
+
+      - name: Setup Kani Dependencies
+        uses: ./.github/actions/setup
+        with:
+          os: macos-13-xlarge
+
+      - name: Build Kani
+        run: cargo build-dev
+
+      - name: Execute Kani regression
+        run: ./scripts/kani-regression.sh
diff --git a/scripts/setup/macos-13-xlarge b/scripts/setup/macos-13-xlarge
new file mode 120000
index 000000000000..a8d0f9c4854d
--- /dev/null
+++ b/scripts/setup/macos-13-xlarge
@@ -0,0 +1 @@
+macos
\ No newline at end of file