Run the CI on push on the master branch

Author: antoyo

Diff for: .github/workflows/ci.yml

@@ -1,7 +1,10 @@
 name: CI
 
 on:
-  - pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 permissions:
   contents: read

Diff for: .github/workflows/failures.yml

@@ -2,7 +2,10 @@
 name: Failures
 
 on:
-  - pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 permissions:
   contents: read

Diff for: .github/workflows/gcc12.yml

@@ -1,7 +1,10 @@
 name: CI libgccjit 12
 
 on:
-  - pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 permissions:
   contents: read

Diff for: .github/workflows/m68k.yml

@@ -3,7 +3,10 @@
 name: m68k CI
 
 on:
-  - pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 permissions:
   contents: read

Diff for: .github/workflows/release.yml

@@ -1,7 +1,10 @@
 name: CI with sysroot compiled in release mode
 
 on:
-  - pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 permissions:
   contents: read

Diff for: .github/workflows/stdarch.yml

@@ -1,7 +1,10 @@
 name: stdarch tests with sysroot compiled in release mode
 
 on:
-  - pull_request
+  push:
+    branches:
+      - master
+  pull_request:
 
 permissions:
   contents: read