don't use github pages
Some checks failed
Build / build (macos-12) (push) Has been cancelled
Build / build (macos-14) (push) Has been cancelled
Build / build (windows-2022) (push) Has been cancelled
Build / build (ubuntu-22.04) (push) Has been cancelled
Documentation / build (push) Successful in 13s
Documentation / deploy (push) Failing after 10s
Some checks failed
Build / build (macos-12) (push) Has been cancelled
Build / build (macos-14) (push) Has been cancelled
Build / build (windows-2022) (push) Has been cancelled
Build / build (ubuntu-22.04) (push) Has been cancelled
Documentation / build (push) Successful in 13s
Documentation / deploy (push) Failing after 10s
This commit is contained in:
16
.github/workflows/docs.yml
vendored
16
.github/workflows/docs.yml
vendored
@ -34,15 +34,15 @@ jobs:
|
|||||||
mv _build_doxygen/html deploy/doxygen
|
mv _build_doxygen/html deploy/doxygen
|
||||||
mv _build_sphinx/html/* deploy
|
mv _build_sphinx/html/* deploy
|
||||||
|
|
||||||
- name: Setup pages
|
# - name: Setup pages
|
||||||
if: github.event_name != 'pull_request'
|
# if: github.event_name != 'pull_request'
|
||||||
uses: actions/configure-pages@v4
|
# uses: actions/configure-pages@v4
|
||||||
|
|
||||||
- name: Upload pages artifact
|
# - name: Upload pages artifact
|
||||||
if: github.event_name != 'pull_request'
|
# if: github.event_name != 'pull_request'
|
||||||
uses: actions/upload-pages-artifact@v3
|
# uses: actions/upload-pages-artifact@v3
|
||||||
with:
|
# with:
|
||||||
path: doc/deploy
|
# path: doc/deploy
|
||||||
|
|
||||||
- name: Upload artifacts
|
- name: Upload artifacts
|
||||||
if: github.event_name == 'pull_request'
|
if: github.event_name == 'pull_request'
|
||||||
|
Reference in New Issue
Block a user