simplify code and add missing GITHUB_HEAD_REF

This commit is contained in:
Armano 2020-02-07 22:24:55 +01:00
parent 66879ff350
commit 44ca3d2c84
No known key found for this signature in database
GPG key ID: 2F45234D68C16784
4 changed files with 26186 additions and 26302 deletions

View file

@ -1,5 +1,5 @@
name: Example workflow for Codecov
on: [push]
on: [push, pull_request]
jobs:
run:
runs-on: ubuntu-latest