Run CI actions on pull request instead of on push

This should fix the CI actions not being run for external pull requests. They are still run on pushes to develop, master and tags (which should only happen on merges or new releases).
dodona-edu · Nov 15, 2021 · 526d257 · 526d257
1 parent 6d79a9c
commit 526d257
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,6 +1,13 @@
 name: Lint
 
-on: [push]
+on:
+  push:
+    branches:
+      - master
+      - develop
+    tags:
+      - '*'
+  pull_request:
 
 jobs:
   ruby:

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,6 +1,13 @@
 name: Test
 
-on: [push]
+on:
+  push:
+    branches:
+      - master
+      - develop
+    tags:
+      - '*'
+  pull_request:
 
 jobs:
   ruby: