From 17d67bb24c1d86eac3285078bbad0d620d39fd46 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Wed, 2 Nov 2022 17:02:01 +0100 Subject: [PATCH] chore: revert "fix: revert LLVM 15 bump on MacOS aarch64" This reverts commit bf734715d3a4d5622d27fa1836aaaa6eb6feec7c. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9cb0ff7961..daf727152c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -89,7 +89,7 @@ jobs: cross: true shell: bash -euxo pipefail {0} CMAKE_OPTIONS: -DCMAKE_OSX_DEPLOYMENT_TARGET=10.15 -DUSE_GMP=OFF -DLEAN_INSTALL_SUFFIX=-darwin_aarch64 - llvm-url: https://github.com/leanprover/lean-llvm/releases/download/14.0.0/lean-llvm-aarch64-apple-darwin.tar.zst https://github.com/leanprover/lean-llvm/releases/download/14.0.0/lean-llvm-x86_64-apple-darwin.tar.zst + llvm-url: https://github.com/leanprover/lean-llvm/releases/download/15.0.1/lean-llvm-aarch64-apple-darwin.tar.zst https://github.com/leanprover/lean-llvm/releases/download/15.0.1/lean-llvm-x86_64-apple-darwin.tar.zst prepare-llvm: EXTRA_FLAGS=--target=aarch64-apple-darwin ../script/prepare-llvm-macos.sh lean-llvm-aarch64-* lean-llvm-x86_64-* binary-check: otool -L tar: gtar # https://github.com/actions/runner-images/issues/2619