From 5f86556c5c4c95c7733d8dcdd1a327e44afe201d Mon Sep 17 00:00:00 2001
From: Jared Weakly <jweakly@galois.com>
Date: Thu, 18 Jun 2020 11:38:09 -0700
Subject: [PATCH] correct artifact upload command. Don't upload unneeded
 windows artifact

---
 .github/workflows/build.yml   | 7 +++++--
 .github/workflows/nightly.yml | 1 +
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1900fbac..de439197 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -157,6 +157,7 @@ jobs:
         run: .github/ci.sh zip_dist
 
       - uses: actions/upload-artifact@v2
+        if: runner.os != 'Windows'
         with:
           name: ${{ needs.outputs.outputs.name }}-${{ runner.os }}-x86_64
           path: "${{ needs.outputs.outputs.name }}-${{ runner.os }}-x86_64.tar.gz*"
@@ -164,7 +165,7 @@ jobs:
       - uses: actions/upload-artifact@v2
         if: runner.os == 'Windows'
         with:
-          name: ${{ needs.outputs.outputs.name }}-${{ runner.os }}-x86_64.msi
+          name: ${{ needs.outputs.outputs.name }}-${{ runner.os }}-x86_64
           path: "cryptol.msi*"
 
   release:
@@ -184,13 +185,15 @@ jobs:
     needs: [outputs, bundle, release]
     runs-on: ubuntu-latest
     steps:
+      - uses: actions/checkout@v2
       - uses: actions/download-artifact@v2
         with:
           path: artifacts
       - run: ls -alR
       - run: |
           assets=()
-          for a in ./artifacts/*; do assets+=("-a" "$a"); done
+          find . \( -name 'cryptol*.tar.gz*' -o -name '*.msi*' \) -type f -print0 |
+            while IFS= read -r -d '' a; do assets+=("-a" "$a"); done
           tag="${GITHUB_REF##*/}"
           hub release edit -d "${assets[@]}" -m "" "$tag"
         env:
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index fc81cf28..6d917ff7 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -98,6 +98,7 @@ jobs:
         run: .github/ci.sh zip_dist
 
       - uses: actions/upload-artifact@v2
+        if: runner.os != 'Windows'
         with:
           name: ${{ needs.outputs.outputs.cryptol-name }}-${{ runner.os }}
           path: "${{ needs.outputs.outputs.cryptol-name }}.tar.gz*"