From 70bc14845c3a98011c032f3d11fd0cd5ee728da0 Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Thu, 29 Feb 2024 10:58:47 +0100 Subject: [PATCH] Fix names of macOS runners --- .github/workflows/deploy.yml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index e334fc06874..68d35cfea77 100644 --- 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