GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-01 04:14:24 +03:00
Code Issues Projects Releases Wiki Activity

Build tarballs even on Windows

Browse Source
This commit is contained in:
Aaron Tomb 2020-10-01 11:02:18 -07:00
parent c409af55f9
commit eeadea181e
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/nightly.yml vendored
View File

@ -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*"