always run on push, otherwise master branch does not get coverage
This commit is contained in:
parent
c7c454e4fb
commit
7ae246c839
1 changed files with 1 additions and 5 deletions
6
.github/workflows/main.yml
vendored
6
.github/workflows/main.yml
vendored
|
@ -1,9 +1,5 @@
|
||||||
name: ci
|
name: ci
|
||||||
on:
|
on: ["push", "pull_request"]
|
||||||
pull_request:
|
|
||||||
push:
|
|
||||||
tags:
|
|
||||||
- 'v[0-9]+.[0-9]+.[0-9]+'
|
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue