Do not execute Github actions twice

Signed-off-by: David Gräff <[email protected]>

.github/workflows/integration.yml

@@ -1,8 +1,14 @@
 name: Integration
 
 on:
-  pull_request:
   push:
+  pull_request:
+    branches:
+      # Branches from forks have the form 'user:branch-name' so we only run
+      # this job on pull_request events for branches that look like fork
+      # branches. Without this we would end up running this job twice for non
+      # forked PRs, once for the push and then once for opening the PR.
+      - '**:**'
 
 jobs:
   build:

.github/workflows/style.yml

@@ -1,9 +1,14 @@
 name: Code Style
 
 on:
-  pull_request:
   push:
-
+  pull_request:
+    branches:
+      # Branches from forks have the form 'user:branch-name' so we only run
+      # this job on pull_request events for branches that look like fork
+      # branches. Without this we would end up running this job twice for non
+      # forked PRs, once for the push and then once for opening the PR.
+      - '**:**'
 jobs:
   build:
 

.github/workflows/with_rocket.yml

@@ -4,14 +4,23 @@ on:
   push:
     paths:
       - 'src'
+  pull_request:
+    branches:
+      # Branches from forks have the form 'user:branch-name' so we only run
+      # this job on pull_request events for branches that look like fork
+      # branches. Without this we would end up running this job twice for non
+      # forked PRs, once for the push and then once for opening the PR.
+      - '**:**'
+    paths:
+      - 'src'
 
 jobs:
   build:
 
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ubuntu-latest, macOS-latest]
+        os: [ubuntu-latest]
         rust: [nightly]
 
     steps: