From f218fcfc969dca754a468ca31ccf84d3743926d2 Mon Sep 17 00:00:00 2001 From: rvcas Date: Thu, 6 Oct 2022 13:49:03 -0400 Subject: [PATCH] chore: small changes to mdBook CI --- .github/workflows/{deploy_book.yml => mdBook.yml} | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) rename .github/workflows/{deploy_book.yml => mdBook.yml} (78%) diff --git a/.github/workflows/deploy_book.yml b/.github/workflows/mdBook.yml similarity index 78% rename from .github/workflows/deploy_book.yml rename to .github/workflows/mdBook.yml index 4068ec43..660fdce8 100644 --- a/.github/workflows/deploy_book.yml +++ b/.github/workflows/mdBook.yml @@ -1,10 +1,9 @@ -name: github pages +name: mdBook on: push: branches: - main - - book pull_request: jobs: @@ -18,13 +17,13 @@ jobs: - name: Setup mdBook uses: peaceiris/actions-mdbook@v1 with: - mdbook-version: 'latest' + mdbook-version: "latest" - - run: cd book && mdbook build + - run: mdbook build book - name: Deploy uses: peaceiris/actions-gh-pages@v3 if: ${{ github.ref == 'refs/heads/main' }} with: github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./book \ No newline at end of file + publish_dir: ./book/book