diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-12 20:25:35 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-12 20:25:47 +0100 |
commit | a54b2eba5382ec980b1eaf785ed529704fb98cf8 (patch) | |
tree | 1eadc641b60929e0a31708118bad5377663fa0a2 /.github/workflows | |
parent | 6496bc9045f9c07c71ca92dbe9d7afbc107c7d7d (diff) | |
download | ghdl-a54b2eba5382ec980b1eaf785ed529704fb98cf8.tar.gz ghdl-a54b2eba5382ec980b1eaf785ed529704fb98cf8.tar.bz2 ghdl-a54b2eba5382ec980b1eaf785ed529704fb98cf8.zip |
ci: codecov needs the repo to be checked out in job 'coverage-publish'
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/push.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 61de5de9e..53193dfd5 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -317,6 +317,9 @@ jobs: name: '📮 Publish coverage report' steps: + - name: '🧰 Checkout' + uses: actions/checkout@v2 + - name: '📥 Download artifact: coverage report' uses: actions/download-artifact@v2 with: |