Also run CI pipeline for Pull Requests

shochdoerfer · shochdoerfer · commit f086c4bdca50 · 2021-01-23T12:20:10.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,5 @@
 name: ci
-on: [push]
+on: [push, pull_request]
 
 jobs:
   run:
