diff --git a/.github/functional_tests/lake_init_success/action.yml b/.github/functional_tests/lake_init_success/action.yml
index d41f8fa..24783d0 100644
--- a/.github/functional_tests/lake_init_success/action.yml
+++ b/.github/functional_tests/lake_init_success/action.yml
@@ -14,7 +14,7 @@ runs:
     - name: install elan
       run: |
         set -o pipefail
-        curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
+        curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-aarch64-apple-darwin.tar.gz | tar xz
         ./elan-init -y --default-toolchain ${{ inputs.toolchain }}
         echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
       shell: bash
diff --git a/.github/workflows/functional_tests.yml b/.github/workflows/functional_tests.yml
index d84fed0..11eac52 100644
--- a/.github/workflows/functional_tests.yml
+++ b/.github/workflows/functional_tests.yml
@@ -109,3 +109,13 @@ jobs:
       - uses: ./.github/functional_tests/subdirectory_lake_package
         with:
           toolchain: ${{ env.toolchain }}
+  
+  macos-runner:
+    runs-on: macos-14
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ./.github/functional_tests/lake_init_success
+        with:
+          lake-init-arguments: "standalone"
+          toolchain: ${{ env.toolchain }}
+