Run workflows only on push and pr to main

Author: finsberg

.github/workflows/build_docs.yml

@@ -3,6 +3,7 @@ name: Deploy static content to Pages
 
 on:
   push:
+    branches: ["main"]
   pull_request:
     branches: ["main"]
 

.github/workflows/pre-commit.yml

@@ -1,6 +1,10 @@
 name: Pre-commit
 
-on: [push]
+on:
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
 
 
 jobs:

.github/workflows/reproduce_results.yml

@@ -2,19 +2,14 @@
 name: Reproduce results
 
 on:
-  # Runs on pushes targeting the default branch
   push:
-    branches:
-    - "**"
+    branches: ["main"]
+  pull_request:
+    branches: ["main"]
 
-  # Allows you to run this workflow manually from the Actions tab
+    # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
+  workflow_call:
 
 
 jobs: