Add a nicer human name to coverage job
This commit is contained in:
parent
4180a2731f
commit
e24cd5755b
|
@ -67,6 +67,7 @@ jobs:
|
|||
args: --all -- --check
|
||||
|
||||
coverage:
|
||||
name: Coverage
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
|
|
Loading…
Reference in New Issue