Trigger CI on pull requests (#246)

pinchbv · Jan 25, 2020 · 6525e9d · 6525e9d
1 parent fa7e307
commit 6525e9d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
-name: Continuous integration
+name: CI
 
-on: [push]
+on: pull_request
 
 jobs:
   floor-annotation: