made sure that CI also runs on PRs

TUM-Dev · Jul 26, 2024 · e707741 · e707741
1 parent 338a09a
commit e707741
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,10 @@
 name: ci
-on: [push, workflow_dispatch]
+on:
+  push:
+    branches: [ master ]
+  workflow_dispatch:
+  pull_request:
+    branches: [ master ]
 
 jobs:
   lint: