Add pull_request build trigger to GH workflow

Noticed that the first PR of a contributor didn't trigger the pipeline. This should fix it.
This commit is contained in:
François Voron
2019-11-06 13:20:16 +01:00
committed by GitHub
parent 37b34e6d28
commit a94ee2b999

View File

@ -1,6 +1,6 @@
name: Build name: Build
on: [push] on: [push, pull_request]
jobs: jobs:
build: build: