Merge 037cfd911369f22a4e273834ecb3a151b3ea69ea into 27e9eab02829523c98744bdf9f7d780ebc352b48

This commit is contained in:
Palash Tyagi 2025-07-20 00:26:40 +01:00 committed by GitHub
commit 13e4270b02
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/