diff options
| -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:  | 
