diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-07-10 13:53:04 +0200 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2020-07-10 13:53:04 +0200 |
commit | 99b542c849311c92e87e2c70d283de133c9d4093 (patch) | |
tree | f47d41658e2aa9323d18960de600b0147115b5d9 /.github/workflows/push.yml | |
parent | fbf6c31131de45d49eae141b8a5a059a4cbe4eef (diff) | |
download | ghdl-99b542c849311c92e87e2c70d283de133c9d4093.tar.gz ghdl-99b542c849311c92e87e2c70d283de133c9d4093.tar.bz2 ghdl-99b542c849311c92e87e2c70d283de133c9d4093.zip |
ci: skip 'nightly', not only eine/tip
Diffstat (limited to '.github/workflows/push.yml')
-rw-r--r-- | .github/workflows/push.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 936dc758f..405893eda 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -102,12 +102,12 @@ jobs: MSYSTEM: ${{ matrix.task.installs }} nightly: + if: github.ref == 'refs/heads/master' && github.event_name != 'pull_request' needs: [ lin, win ] runs-on: ubuntu-latest steps: - uses: actions/download-artifact@v2 - - if: github.ref == 'refs/heads/master' && github.event_name != 'pull_request' - uses: eine/tip@master + - uses: eine/tip@master with: token: ${{ secrets.GITHUB_TOKEN }} tag: 'nightly' |