CI: fix deploy error

This commit is contained in:
yunwei37
2023-05-30 19:52:19 +08:00
committed by 云微
parent 0ff4ea2f98
commit eb292e2ab5
3 changed files with 17 additions and 4 deletions

View File

@@ -18,9 +18,13 @@ jobs:
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
- run: (test -x $HOME/.cargo/bin/mdbook || cargo install mdbook)
- run: mdbook build && mdbook test
- uses: JamesIves/github-pages-deploy-action@v4.4.1
- name: install mdbook
run: (test -x $HOME/.cargo/bin/mdbook || cargo install mdbook)
- name: build and test
run: mdbook build && mdbook test
- name: publish
if: github.event_name == 'push' && github.ref == 'refs/heads/master' && github.repository_owner == 'eunomia-bpf'
uses: JamesIves/github-pages-deploy-action@v4.4.1
with:
branch: gh-pages
folder: book