Compare commits

..

2 Commits

View File

@ -6,9 +6,9 @@ concurrency:
on: on:
push: push:
branches: [main] branches: [main, update_docs_workflow]
# pull_request: # pull_request:
# branches: [main] # branches: [main]
workflow_dispatch: workflow_dispatch:
permissions: permissions:
@ -101,18 +101,14 @@ 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