From eeadea181eb6b7d025e55f42e7d21e665b67b15b Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Thu, 1 Oct 2020 11:02:18 -0700
Subject: [PATCH] Build tarballs even on Windows

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

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 574a6821..d618bc27 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -114,7 +114,6 @@ 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*"