From 1ead4f2c1e007a29530ba94592dc7db7dc2153ca Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Wed, 18 Nov 2020 17:08:24 -0800
Subject: [PATCH] Include .tar.gz archives on Windows, too

---
 .github/workflows/build.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f55ae3a2..1813eeab 100644
--- 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*"