Add user guide build and output steps to CI workflow

This commit is contained in:
Palash Tyagi 2025-08-03 22:11:10 +01:00
parent b78dd75e77
commit 4876a74e01

View File

@ -153,7 +153,6 @@ jobs:
echo "<meta http-equiv=\"refresh\" content=\"0; url=../docs/index.html\">" > target/doc/rustframe/index.html echo "<meta http-equiv=\"refresh\" content=\"0; url=../docs/index.html\">" > target/doc/rustframe/index.html
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/
@ -166,6 +165,20 @@ jobs:
# copy the benchmark report to the output directory # copy the benchmark report to the output directory
cp -r benchmark-report target/doc/ cp -r benchmark-report target/doc/
mkdir output
cp -r target/doc/* output/
- name: Build user guide
run: |
cd docs
./build.sh
cd ..
- name: Copy user guide to output directory
run: |
mkdir -p target/doc/user-guide
cp -r docs/book/* target/doc/user-guide/
- name: Add index.html to output directory - name: Add index.html to output directory
run: | run: |
cp .github/htmldocs/index.html target/doc/index.html cp .github/htmldocs/index.html target/doc/index.html