Fix publish docs workflow

Author: ch1bo

.github/workflows/publish-docs.yaml

@@ -1,6 +1,8 @@
 name: "Publish Docs"
 
 on:
+  push:
+    branches: [ "master" ]
   workflow_run:
     workflows: ["CI"]
     branches: [master]
@@ -11,7 +13,7 @@ jobs:
   publishing:
     name: Publish Documentation
     runs-on: ubuntu-latest
-    if: ${{ github.event.workflow_run.conclusion == 'success' }}
+    if: ${{github.event.push || github.event.workflow_run.conclusion == 'success' }}
     steps:
 
     - name: 📥 Checkout repository
@@ -39,7 +41,8 @@ jobs:
         workflow: ci-nix.yaml
         workflow_conclusion: success
         branch: release
-        name: benchmarks
+        name: benchmarks.*
+        name_is_regexp: true
         path: docs/benchmarks
 
     - name: 📥 Download released test-results
@@ -49,7 +52,8 @@ jobs:
         workflow: ci-nix.yaml
         workflow_conclusion: success
         branch: release
-        name: test-results
+        name: test-results.*
+        name_is_regexp: true
         path: docs/benchmarks/tests
 
     - name: 📥 Download released haddock documentation
@@ -102,7 +106,8 @@ jobs:
         workflow: ci-nix.yaml
         workflow_conclusion: success
         branch: master
-        name: benchmarks
+        name: benchmarks.*
+        name_is_regexp: true
         path: docs/benchmarks
 
     - name: 📥 Download latest test-results
@@ -112,7 +117,8 @@ jobs:
         workflow: ci-nix.yaml
         workflow_conclusion: success
         branch: master
-        name: test-results
+        name: test-results.*
+        name_is_regexp: true
         path: docs/benchmarks/tests
 
     - name: 📥 Download latest haddock documentation