Merge branch 'master' into release-2.10.0

GaloisInc · Nov 19, 2020 · 3cab6e6 · 3cab6e6
2 parents 26d57e9 + 1ead4f2
commit 3cab6e6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -160,7 +160,6 @@ 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*"