3 Commits

Author SHA1 Message Date
Palash Tyagi
6d87e1f630 Merge 6d79797266 into ddcc539076 2025-05-04 21:15:32 +01:00
Palash Tyagi
6d79797266 Update push branches in docs-and-testcov workflow to include update_docs_workflow 2025-05-04 21:15:27 +01:00
Palash Tyagi
a62c24304e Update index redirect and comment out deploy conditions for Pages 2025-05-04 21:14:35 +01:00

View File

@@ -6,7 +6,7 @@ concurrency:
on: on:
push: push:
branches: [main] branches: [main, update_docs_workflow]
# pull_request: # pull_request:
# branches: [main] # branches: [main]
workflow_dispatch: workflow_dispatch:
@@ -101,18 +101,14 @@ jobs:
cp last-commit-date.json target/doc/rustframe/ cp last-commit-date.json target/doc/rustframe/
mkdir -p target/doc/rustframe/.github mkdir -p target/doc/rustframe/.github
cp .github/rustframe_logo.png 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
mkdir -p target/doc/docs
mv target/doc/rustframe/ target/doc/docs/
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
- name: Upload Pages artifact - name: Upload Pages artifact
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: actions/upload-pages-artifact@v3 uses: actions/upload-pages-artifact@v3
with: with:
path: target/doc/ path: target/doc/
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: actions/deploy-pages@v4 uses: actions/deploy-pages@v4