GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

fix cycle in yaml

Browse Source
This commit is contained in:
Jared Weakly 2020-07-20 13:43:06 -07:00
parent b1b380a087
commit ad76a58e08
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/build.yml vendored
View File

@ -178,7 +178,7 @@ jobs:
path: "cryptol.msi*"
release:
needs: [outputs, bundle, release]
needs: [outputs, bundle]
if: >-
startsWith(github.head_ref, 'releases-')
|| (github.event_name == 'pull_request' && startsWith(github.head_ref, 'actions/'))