mirror of
https://github.com/Magnus167/rustframe.git
synced 2025-08-21 03:49:59 +00:00
Compare commits
No commits in common. "18887e72ae805e9b421de3ae689a570ac8ff8d2b" and "63f1a83c2d2325aeb3744e8e307a33166bb7b0eb" have entirely different histories.
18887e72ae
...
63f1a83c2d
8
.github/workflows/docs-and-testcov.yml
vendored
8
.github/workflows/docs-and-testcov.yml
vendored
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user