diff --git a/.github/workflows/mdbook-check.yml b/.github/workflows/mdbook-check.yml new file mode 100644 index 0000000..a8a3de4 --- /dev/null +++ b/.github/workflows/mdbook-check.yml @@ -0,0 +1,35 @@ +name: Check mdbook compilation + +on: + pull_request: + push: + branches: + - main + +jobs: + compile: + if: github.event.pull_request.draft == false + runs-on: ubuntu-latest + env: + MDBOOK_VERSION: 0.4.40 + MDBOOKKATEX_VERSION: 0.7.0 + steps: + - uses: actions/checkout@v4 + - name: Install mdBook + run: | + curl --proto '=https' --tlsv1.2 https://sh.rustup.rs -sSf -y | sh + rustup update + cargo install --version ${MDBOOK_VERSION} mdbook + cargo install --version ${MDBOOKKATEX_VERSION} mdbook-katex + - name: Build with mdBook + run: | + cd book + mdbook build + - name: Check build result + run: | + if [ -d "book/book" ]; then + echo "mdBook compilation success" + else + echo "mdBook compilation fail" + exit 1 + fi diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook-publish.yml similarity index 100% rename from .github/workflows/mdbook.yml rename to .github/workflows/mdbook-publish.yml