Merge 18887e72ae into ddcc539076

Update deploy condition for GitHub Pages to include workflow_dispatch
Update upload condition for Pages artifact to include workflow_dispatch
2025-11-19 16:36:11 +00:00 · 2025-05-04 18:48:31 +01:00 · 2025-05-04 18:48:26 +01:00 · 2025-05-04 18:44:02 +01:00 · 2025-05-04 18:41:02 +01:00
1 changed files with 5 additions and 3 deletions
--- a/.github/workflows/docs-and-testcov.yml
+++ b/.github/workflows/docs-and-testcov.yml
@@ -101,14 +101,16 @@ jobs:
          cp last-commit-date.json target/doc/rustframe/
          mkdir -p target/doc/rustframe/.github
          cp .github/rustframe_logo.png target/doc/rustframe/.github/
-          echo "<meta http-equiv=\"refresh\" content=\"0; url=rustframe\">" > target/doc/index.html
+
+          mv target/doc/rustframe target/doc/docs
+          echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > 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'
+        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
        uses: actions/deploy-pages@v4
Author	SHA1	Message	Date
Palash Tyagi	653ab735f1	Merge `18887e72ae` into `ddcc539076`	2025-05-04 18:48:31 +01:00
Palash Tyagi	18887e72ae	Update deploy condition for GitHub Pages to include workflow_dispatch	2025-05-04 18:48:26 +01:00
Palash Tyagi	02c00cc657	Update upload condition for Pages artifact to include workflow_dispatch	2025-05-04 18:44:02 +01:00
Palash Tyagi	e74617f2e4	Rename documentation output directory and update redirect in index.html	2025-05-04 18:41:02 +01:00