From d494af487026578d77921b756a113f232bee7e22 Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Tue, 7 Feb 2023 09:56:57 +0100 Subject: [PATCH] Revert "Compile for macOS ARM (#1317)" This reverts commit d984f41026a0f174e1b07e8bc95c55b95b02f6b8. --- .github/workflows/deploy.yml | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 6132e02e371..b4bc5c06473 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -55,7 +55,9 @@ jobs: # Build in release mode (but don't test) for macOS ARM # See: https://stackoverflow.com/a/66875783/2491528 + # Blocked by: https://github.com/viperproject/prusti-dev/issues/1193 build_macos_arm: + if: false runs-on: macos-latest steps: - name: Check out the repo @@ -104,7 +106,7 @@ jobs: - name: Zip Prusti artifacts shell: bash run: | - for os in ubuntu-20.04 ubuntu-22.04 windows-latest macos-latest macos-arm + for os in ubuntu-20.04 ubuntu-22.04 windows-latest macos-latest do echo "Package Prusti artifact for $os" cd prusti-release-$os @@ -166,7 +168,7 @@ jobs: asset_name: prusti-release-windows.zip asset_content_type: application/zip - - name: Upload release asset for MacOS x86 + - name: Upload release asset for MacOS uses: actions/upload-release-asset@v1 env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} @@ -175,13 +177,3 @@ jobs: asset_path: ./prusti-release-macos-latest/prusti.zip asset_name: prusti-release-macos.zip asset_content_type: application/zip - - - name: Upload release asset for MacOS ARM - uses: actions/upload-release-asset@v1 - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - with: - upload_url: ${{ steps.create_release.outputs.upload_url }} - asset_path: ./prusti-release-macos-arm/prusti.zip - asset_name: prusti-release-macos-arm.zip - asset_content_type: application/zip