Revert "Compile for macOS ARM (#1317)"

This reverts commit d984f41.
viperproject · Feb 7, 2023 · d494af4 · d494af4
1 parent d984f41
commit d494af4
Showing 1 changed file with 4 additions and 12 deletions.
diff --git 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