test: macos runner functional test

leanprover · Aug 14, 2024 · d679f84 · d679f84
1 parent e676094
commit d679f84
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git 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
@@ -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 }}
+