Merge 63f1a83c2d into ddcc539076

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

@@ -101,16 +101,14 @@ jobs:
           cp last-commit-date.json target/doc/rustframe/
           mkdir -p target/doc/rustframe/.github
           cp .github/rustframe_logo.png target/doc/rustframe/.github/
-
-          mv target/doc/rustframe target/doc/docs
-          echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=rustframe\">" > target/doc/index.html
 
       - name: Upload Pages artifact
-        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
+        if: github.event_name == 'push'
         uses: actions/upload-pages-artifact@v3
         with:
           path: target/doc/
 
       - name: Deploy to GitHub Pages
-        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
+        if: github.event_name == 'push'
         uses: actions/deploy-pages@v4