CI updates:

* rename some of the jobs
* reduce CI runs on push to main/dev
* reduce CI runs for PRs into dev for
  tasks that are more appropriate for PRs
  into main

.github/workflows/docker_deployment.yml

@@ -7,6 +7,8 @@ on:
   release:
     types: [created]
   pull_request:
+    branches:
+      - 'main'
 
 jobs:
   docker:

.github/workflows/docs.yml

@@ -9,7 +9,7 @@ on:
 
 jobs:
   builddocs:
-    name: Build
+    name: Build manual
     runs-on: ubuntu-20.04
     strategy:
       matrix:

.github/workflows/macos_x86.yml

@@ -6,12 +6,10 @@ name: macOS_x86
 
 on:
   pull_request:
-  push:
-    branches: [main, dev]
 
 jobs:
-  test:
-    name: Python
+  test_macos_x86:
+    name: macOS_x86
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:

.github/workflows/ubuntu.yml

@@ -2,11 +2,9 @@ name: UbuntuStressTest
 
 on:
   pull_request:
-  push:
-    branches: [main, dev]
 
 jobs:
-  test:
+  test_ubuntu:
     name: Ubuntu
     runs-on: ${{ matrix.os }}
     strategy:

.github/workflows/wheels.yml

@@ -6,8 +6,9 @@ on:
   release:
     types: [created]
   push:
-    branches: [main, dev]
-#  pull_request:
+    branches: [main]
+  pull_request:
+    branches: [main]
 
 jobs:
   macOS_wheel: