enable github workflow on PRs

This commit is contained in:
Simon Cruanes 2020-04-29 16:24:47 -04:00 odevzdal Frédéric Bour
rodič cfb5405bd7
revize ef334fad21
1 změnil soubory, kde provedl 1 přidání a 1 odebrání

Zobrazit soubor

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