Compare commits

..

No commits in common. "18887e72ae805e9b421de3ae689a570ac8ff8d2b" and "63f1a83c2d2325aeb3744e8e307a33166bb7b0eb" have entirely different histories.

View File

@ -101,16 +101,14 @@ jobs:
cp last-commit-date.json target/doc/rustframe/
mkdir -p target/doc/rustframe/.github
cp .github/rustframe_logo.png target/doc/rustframe/.github/
mv target/doc/rustframe target/doc/docs
echo "<meta http-equiv=\"refresh\" content=\"0; url=docs\">" > target/doc/index.html
echo "<meta http-equiv=\"refresh\" content=\"0; url=rustframe\">" > target/doc/index.html
- name: Upload Pages artifact
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
if: github.event_name == 'push'
uses: actions/upload-pages-artifact@v3
with:
path: target/doc/
- name: Deploy to GitHub Pages
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
if: github.event_name == 'push'
uses: actions/deploy-pages@v4