Make CI run on push to the master branch

Motivation: sometimes we push minor commits without a PR, but anyway sometimes they break the tests (or make something incompatible. e.g. versions update)
JetBrains · Dec 27, 2023 · 5d4b44e · 5d4b44e
1 parent 1c7154b
commit 5d4b44e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/gradle-plugin.yml b/.github/workflows/gradle-plugin.yml
@@ -4,6 +4,13 @@ on:
     paths:
       - 'gradle-plugins/**'
       - '.github/workflows/gradle-plugin.yml'
+  push:
+    branches:
+      - master
+    paths:
+      - 'gradle-plugins/**'
+      - '.github/workflows/gradle-plugin.yml'
+
 jobs:
   test-gradle-plugin:
     strategy: