From d833fcc161385ca938b7b5182932ae9c2a9843fc Mon Sep 17 00:00:00 2001
From: Scott Henderson <scottyhq@gmail.com>
Date: Mon, 24 Jun 2024 15:51:48 -0700
Subject: [PATCH] fix jbook path, ignore devcontainer changes

---
 .github/workflows/main.yaml         | 2 ++
 .github/workflows/pull_request.yaml | 4 +++-
 2 files changed, 5 insertions(+), 1 deletion(-)

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