magnus167/rustframe
1
0
Fork 0
mirror of https://github.com/Magnus167/rustframe.git synced 2025-11-20 22:06:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge 7c96439550 into 9696cd47bd

Browse Source
This commit is contained in:
Palash Tyagi
2025-05-05 02:53:20 +01:00
committed by GitHub
parent 9696cd47bd 7c96439550
commit c8965d18f8
1 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
.github/workflows/docs-and-testcov.yml vendored
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
@@ -115,4 +122,4 @@ jobs:
- 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