fix the link to github repo (#71)

This commit is contained in:
云微
2023-09-03 16:14:05 +01:00
committed by GitHub
parent 05c7ec8213
commit ffbd9a7ff4
3 changed files with 7 additions and 2 deletions

View File

@@ -21,7 +21,7 @@ jobs:
- name: install mdbook
run: (test -x $HOME/.cargo/bin/mdbook || cargo install mdbook)
- name: build and test
run: mdbook build && mdbook test
run: mdbook build
- name: publish
if: github.event_name == 'push' && github.ref == 'refs/heads/main' && github.repository_owner == 'eunomia-bpf'
uses: JamesIves/github-pages-deploy-action@v4.4.1