Compare commits

..

No commits in common. "7c96439550b76e9bd1abe33e4f82d355cb10cc3b" and "00befe7ee488e456dd8e2df49f85b42b449a1fa8" have entirely different histories.

View File

@ -103,17 +103,10 @@ jobs:
cp tarpaulin-report.json target/doc/docs/
cp tarpaulin-badge.json target/doc/docs/
cp last-commit-date.json target/doc/docs/
cp -r .github target/doc/docs/.github
mkdir -p target/doc/docs/.github
cp .github/rustframe_logo.png target/doc/docs/.github/rustframe_logo.png
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
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: actions/upload-pages-artifact@v3