mirror of
https://github.com/pmret/papermario.git
synced 2024-09-19 16:01:48 +02:00
ci: fix coverage
This commit is contained in:
parent
4f2261c5d9
commit
130ebd5401
2
.github/workflows/coverage.yaml
vendored
2
.github/workflows/coverage.yaml
vendored
@ -10,4 +10,4 @@ jobs:
|
|||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v2
|
||||||
- run: ./tools/coverage.py --fail-matched-undeleted
|
- run: ./coverage.py --fail-matched-undeleted
|
||||||
|
Loading…
Reference in New Issue
Block a user