Merge 6d79797266a276471dfb65de5a3ef946ab234ab8 into ddcc539076f3b78bd9c41afc55e45bcb51ba7bc0

.github/workflows/docs-and-testcov.yml

@@ -6,9 +6,9 @@ concurrency:
 
 on:
   push:
-    branches: [main]
-#   pull_request:
-#     branches: [main]
+    branches: [main, update_docs_workflow]
+  # pull_request:
+  #   branches: [main]
   workflow_dispatch:
 
 permissions:
@@ -104,11 +104,11 @@ jobs:
           echo "<meta http-equiv=\"refresh\" content=\"0; url=rustframe\">" > target/doc/index.html
 
       - name: Upload Pages artifact
-        if: github.event_name == 'push'
+        # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
         uses: actions/upload-pages-artifact@v3
         with:
           path: target/doc/
 
       - name: Deploy to GitHub Pages
-        if: github.event_name == 'push'
-        uses: actions/deploy-pages@v4
+        # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
+        uses: actions/deploy-pages@v4

.github/workflows/run-benchmarks.yml

@@ -7,8 +7,22 @@ on:
   #     - main
 
 jobs:
-  run-benchmarks:
+  pick-runner:
     runs-on: ubuntu-latest
+    outputs:
+      runner: ${{ steps.choose.outputs.use-runner }}
+    steps:
+      - uses: actions/checkout@v4
+      - id: choose
+        uses: ./.github/actions/runner-fallback
+        with:
+          primary-runner: "self-hosted,ubuntu-latest"
+          fallback-runner: "ubuntu-latest"
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+
+  run-benchmarks:
+    needs: pick-runner
+    runs-on: ${{ fromJson(needs.pick-runner.outputs.runner) }}
 
     steps:
       - name: Checkout code