Merge pull request #9 from volfpeter/run-ci-on-pull-requests

Run the tests and linters jobs on pull requests
volfpeter · Feb 6, 2024 · 0ebd991 · 0ebd991
2 parents b89c797 + 89fd074
commit 0ebd991
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 2 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -1,10 +1,13 @@
 name: Build documentation
+
 on:
   push:
     branches:
       - main
+
 permissions:
   contents: write
+
 jobs:
   deploy:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/linters.yml b/.github/workflows/linters.yml
@@ -1,5 +1,14 @@
 name: Linters
-on: push
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types:
+      - opened
+      - synchronize
+
 jobs:
   Linters:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -1,5 +1,14 @@
 name: Tests
-on: push
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    types:
+      - opened
+      - synchronize
+
 jobs:
   Linters:
     runs-on: ubuntu-latest