diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-05-21 00:12:27 +0200 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-05-21 00:14:43 +0200 |
| commit | d32fa34618e1af8d47e8d462732685353ac7be27 (patch) | |
| tree | f51e29e23fdd75b8a0806070f637bbcda4f15939 /.github | |
| parent | cb58bdf49582bddfdfe7555035eca7c90d649439 (diff) | |
| download | ghdl-d32fa34618e1af8d47e8d462732685353ac7be27.tar.gz ghdl-d32fa34618e1af8d47e8d462732685353ac7be27.tar.bz2 ghdl-d32fa34618e1af8d47e8d462732685353ac7be27.zip | |
ci: fix format of github.ref
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index f415fa882..5f5f68c24 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -104,7 +104,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/download-artifact@v2 - - if: github.ref == 'ref/head/master' && github.event_name != 'pull_request' + - if: github.ref == 'refs/heads/master' && github.event_name != 'pull_request' uses: eine/tip@master with: token: ${{ secrets.GITHUB_TOKEN }} |