Run CI on PR or master push
Previously two CI jobs were done for each PR
This commit is contained in:
6
.github/workflows/push.yml
vendored
6
.github/workflows/push.yml
vendored
@ -1,6 +1,10 @@
|
||||
name: Build on push and PRs
|
||||
|
||||
on: [push,pull_request]
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- "master"
|
||||
pull_request:
|
||||
|
||||
jobs:
|
||||
build:
|
||||
|
Reference in New Issue
Block a user