fix: CI: rename coverage run
This commit is contained in:
parent
c39b710040
commit
0de7af46d5
1 changed files with 1 additions and 1 deletions
2
.github/workflows/coverage.yml
vendored
2
.github/workflows/coverage.yml
vendored
|
@ -1,4 +1,4 @@
|
||||||
name: CI (Linux)
|
name: Coverage (Linux)
|
||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
|
|
Loading…
Reference in a new issue