mirror of
https://github.com/pmret/papermario.git
synced 2024-11-09 12:32:38 +01:00
run coverage on all PRs/pushes
This commit is contained in:
parent
11a6166cd8
commit
5c5fbf8f0c
5
.github/workflows/coverage.yaml
vendored
5
.github/workflows/coverage.yaml
vendored
@ -1,8 +1,5 @@
|
||||
name: Coverage
|
||||
on:
|
||||
pull_request:
|
||||
paths:
|
||||
- 'src/*'
|
||||
on: [push, pull_request]
|
||||
|
||||
jobs:
|
||||
build:
|
||||
|
Loading…
Reference in New Issue
Block a user