Fix names of macOS runners

viperproject · Feb 29, 2024 · 70bc148 · 70bc148
1 parent 1a3d32c
commit 70bc148
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -14,8 +14,8 @@ jobs:
   build:
     strategy:
       matrix:
-        # macos-latest-large is x86, macos-latest-xlarge is arm64
-        os: [ubuntu-20.04, windows-latest, macos-latest-large, macos-latest-xlarge]
+        # macos-13 is x86, macos-14 is arm64
+        os: [ubuntu-20.04, windows-latest, macos-13, macos-14]
       fail-fast: false
     runs-on: ${{ matrix.os }}
     steps:
@@ -105,32 +105,32 @@ jobs:
 
       # This asset is only for backward compatibility with Prusti-Assistant. After updating
       # Prusti-Assistant to use the new asset name, we can wait a while and then delete this.
-      - name: Upload release asset for MacOS (for backward compatibility)
+      - name: Upload release asset for macOS x86 using a backward-compatibile name
         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-latest-large/release.zip
+          asset_path: ./prusti-release-macos-13/release.zip
           asset_name: prusti-release-macos.zip
           asset_content_type: application/zip
 
-      - name: Upload release asset for MacOS
+      - name: Upload release asset for macOS x86
         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-latest-large/release.zip
+          asset_path: ./prusti-release-macos-13/release.zip
           asset_name: prusti-release-macos-x86.zip
           asset_content_type: application/zip
 
-      - name: Upload release asset for MacOS
+      - name: Upload release asset for macOS arm64
         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-xlatest-large/release.zip
+          asset_path: ./prusti-release-macos-14/release.zip
           asset_name: prusti-release-macos-arm64.zip
           asset_content_type: application/zip