aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorumarcor <unai.martinezcorral@ehu.eus>2021-01-12 20:25:35 +0100
committerumarcor <unai.martinezcorral@ehu.eus>2021-01-12 20:25:47 +0100
commita54b2eba5382ec980b1eaf785ed529704fb98cf8 (patch)
tree1eadc641b60929e0a31708118bad5377663fa0a2 /.github
parent6496bc9045f9c07c71ca92dbe9d7afbc107c7d7d (diff)
downloadghdl-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')
-rw-r--r--.github/workflows/push.yml3
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: