DEV: triggers github actions on pull_request (#8527)

2019-12-11 00:24:30 +01:00 · 2019-12-11 00:24:30 +01:00 · bc05d3bcdd
parent 2720531750
commit bc05d3bcdd
1 changed files with 5 additions and 2 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -1,10 +1,13 @@
 name: CI
-
+   
 on:
  push:
+    branches:
+      - master
+  pull_request:
    branches-ignore:
      - 'tests-passed'
-
+    
 jobs:
  build:
    name: "${{ matrix.target }}-${{ matrix.build_types }}"