Merge 74fac9d51281fafd29518c1d56d493332e4d973b into 27e9eab02829523c98744bdf9f7d780ebc352b48

This commit is contained in:
Palash Tyagi 2025-07-19 23:40:16 +01:00 committed by GitHub
commit b28fc9ebc9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -151,6 +151,8 @@ jobs:
mkdir -p target/doc/docs mkdir -p target/doc/docs
mv target/doc/rustframe/* target/doc/docs/ mv target/doc/rustframe/* target/doc/docs/
echo "<meta http-equiv=\"refresh\" content=\"0; url=../docs/index.html\">" > target/doc/rustframe/index.html
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/