Build a release bundle for macos (rust-lang#1064)

Author: tedinski

.github/workflows/kani.yml

@@ -71,26 +71,55 @@ jobs:
           folder: docs/book/
 
   releasebundle:
-    runs-on: ubuntu-20.04
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [macos-10.15, ubuntu-20.04]
+        include:
+          - os: macos-10.15
+            artifact: kani-latest-x86_64-apple-darwin.tar.gz
+          - os: ubuntu-20.04
+            artifact: kani-latest-x86_64-unknown-linux-gnu.tar.gz
     steps:
       - name: Checkout Kani
         uses: actions/checkout@v2
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ubuntu-20.04
+            os: ${{ matrix.os }}
 
       - name: Build release bundle
         run: |
           cargo run -p make-kani-release -- latest
           cargo package -p kani-verifier
       
       - name: Build container test
+        if: ${{ matrix.os == 'ubuntu-20.04' }}
         run: |
           docker build -t kani-latest -f scripts/ci/Dockerfile.release-bundle-test .
 
       - name: Run installed tests
+        if: ${{ matrix.os == 'ubuntu-20.04' }}
         run: |
           docker run -w /tmp/kani/tests/cargo-kani/simple-lib  kani-latest  cargo kani
           docker run -w /tmp/kani/tests/cargo-kani/simple-visualize  kani-latest  cargo kani
+
+      # We can't run macos in a container, so we can only test locally.
+      # Hopefully any dependency issues won't be unique to macos.
+      - name: Local install test
+        if: ${{ matrix.os == 'macos-10.15' }}
+        run: |
+          cargo install --path ./target/package/kani-verifier-*[^e]
+          cargo-kani setup --use-local-bundle ./kani-latest-x86_64-apple-darwin.tar.gz
+          (cd tests/cargo-kani/simple-lib && cargo kani)
+          (cd tests/cargo-kani/simple-visualize && cargo kani)
+
+      - name: Upload artifact
+        uses: actions/upload-artifact@v3
+        with:
+          name: ${{ matrix.artifact }}
+          path: ${{ matrix.artifact }}
+          if-no-files-found: error
+          # Aggressively short retention: we don't really need these
+          retention-days: 3