Perform coverage for pull requests
This commit is contained in:
parent
8d8aa50017
commit
4e32999df6
|
@ -2,7 +2,7 @@
|
||||||
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
|
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
|
||||||
name: Coverage
|
name: Coverage
|
||||||
|
|
||||||
on: [push]
|
on: [push, pull_request]
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
|
|
Loading…
Reference in New Issue