chore: CI: restore macOS aarch64 install sufix

leanprover · May 26, 2024 · f05a827 · f05a827
1 parent 8eee5ff
commit f05a827
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -192,6 +192,7 @@ jobs:
               {
                 "name": "macOS aarch64",
                 "os": "macos-14",
+                "CMAKE_OPTIONS": "-DLEAN_INSTALL_SUFFIX=-darwin_aarch64",
                 "release": true,
                 "check-level": 1,
                 "shell": "bash -euxo pipefail {0}",