disabling GitHub Actions on pull_request (for this PR)

.github/workflows/ci.yml

@@ -2,7 +2,7 @@ name: CI
 
 on:
   workflow_dispatch:
-  pull_request:
+  # pull_request:
   push:
     branches:
       - master

.github/workflows/configure.yml

@@ -2,7 +2,7 @@ name: Config
 
 on:
   workflow_dispatch:
-  pull_request:
+  # pull_request:
   push:
     branches:
       - master

.github/workflows/format.yml

@@ -5,7 +5,7 @@ name: Format
 
 on:
   workflow_dispatch:
-  pull_request:
+  # pull_request:
   push:
     branches:
     - master

.github/workflows/pip.yml

@@ -2,7 +2,7 @@ name: Pip
 
 on:
   workflow_dispatch:
-  pull_request:
+  # pull_request:
   push:
     branches:
     - master