Only build docs on push to devel/main

.github/workflows/docs.yml

@@ -1,18 +1,9 @@
 name: Deploy docs to GitHub Pages
 
-# on:
-#   push:
-#     branches: ["devel", "main"] # TODO: Set to main only after release
-#   workflow_dispatch:
 on:
   push:
-    branches:
-      - main
-      - devel
-  pull_request:
-    branches:
-      - main
-      - devel
+    branches: ["devel", "main"] # TODO: Set to main only after release
+  workflow_dispatch:
 
 permissions:
   contents: read

.github/workflows/static_analysis.yml

@@ -37,7 +37,7 @@ jobs:
           isort --check src/
           isort --check tutorials/
 
-      - name: Code formatting with prospector
+      - name: Code formatting with mypy
         continue-on-error: true
         run: |
           pip install mypy