diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index b2b827b6..4d386687 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -3,6 +3,8 @@ name: Deploy Website to GitHub Pages on: push: branches: main + paths-ignore: + - ".devcontainer/**" # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: diff --git a/.github/workflows/pull_request.yaml b/.github/workflows/pull_request.yaml index bb8218b0..faf30561 100644 --- a/.github/workflows/pull_request.yaml +++ b/.github/workflows/pull_request.yaml @@ -3,6 +3,8 @@ name: Pull Request Build on: pull_request: types: [opened, synchronize, reopened, closed] + paths-ignore: + - ".devcontainer/**" concurrency: group: ${{ github.workflow }}-${{ github.ref }} @@ -50,4 +52,4 @@ jobs: uses: actions/upload-artifact@v4 with: name: html - path: book/_build/html + path: _build/html