Compare commits

..

No commits in common. "6d79797266a276471dfb65de5a3ef946ab234ab8" and "3f11068f9c0290599ec67247effd0af67b345d73" have entirely different histories.

View File

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