Merge d670ab4a5c46fda5bd1f88cd948fda383b5d1de8 into 9696cd47bdfcdc494e225e6708f25ad2f130a0e0

This commit is contained in:
Palash Tyagi 2025-05-05 02:07:53 +00:00 committed by GitHub
commit b9c0eed6e1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,7 +6,7 @@ concurrency:
on: on:
push: push:
branches: [main] branches: [main, fix_docs]
# pull_request: # pull_request:
# branches: [main] # branches: [main]
workflow_dispatch: workflow_dispatch:
@ -96,17 +96,24 @@ jobs:
run: | run: |
# mkdir docs # mkdir docs
mkdir -p target/doc/docs mkdir -p target/doc/docs
cp -r target/doc/rustframe/* target/doc/docs/ mv target/doc/rustframe/* target/doc/docs/
mkdir output mkdir output
cp tarpaulin-report.html target/doc/docs/ cp tarpaulin-report.html target/doc/docs/
cp tarpaulin-report.json target/doc/docs/ cp tarpaulin-report.json target/doc/docs/
cp tarpaulin-badge.json target/doc/docs/ cp tarpaulin-badge.json target/doc/docs/
cp last-commit-date.json target/doc/docs/ cp last-commit-date.json target/doc/docs/
mkdir -p target/doc/.github cp -r .github target/doc/docs/.github
cp .github/rustframe_logo.png target/doc/.github/rustframe_logo.png
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
# verify that .github exists in the output directory
- name: Verify .github directory
run: |
if [ ! -d target/doc/docs/.github ]; then
echo ".github directory not found in output!"
exit 1
fi
- 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