Add pull_request event for push

This commit is contained in:
Mattias Wadman
2019-11-02 12:06:50 +01:00
committed by GitHub
parent 4bc99db15d
commit 833aae1fe0

View File

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