Merge branch 'main' into hm/forest-tool-api-generate-test-snapshot

.github/workflows/docker.yml

@@ -10,11 +10,15 @@ on:
     branches: [main]
     tags:
       - "*"
+    paths-ignore:
+      - 'docs/'
   merge_group:
   pull_request:
     # This needs to be declared explicitly so that the job is actually
     # run when moved out of draft.
     types: [opened, synchronize, reopened, ready_for_review]
+    paths-ignore:
+      - 'docs/'
 
 env:
   CI: 1

.github/workflows/docs-check.yml

@@ -0,0 +1,43 @@
+name: Docs Check
+
+# Cancel workflow if there is a new change to the branch.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
+on:
+  push:
+    branches:
+      - main
+    paths:
+      - '**.md'
+      - '.github/workflows/docs-check.yml'
+  merge_group:
+  pull_request:
+    branches:
+      - main
+    paths:
+      - '**.md'
+      - '.github/workflows/docs-check.yml'
+
+jobs:
+  docs-check:
+    name: Check
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: ./docs
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 18
+          # See https://github.com/actions/setup-node/issues/1027
+          # cache: yarn
+      - run: corepack enable
+      - run: make format-spellcheck-dictionary-check
+      - run: yarn --immutable
+      - run: yarn typecheck
+      - run: yarn spellcheck
+      - run: yarn format-check
+      - run: yarn build

.github/workflows/forest.yml

@@ -8,9 +8,13 @@ concurrency:
   pull_request:
     branches:
       - main
+    paths-ignore:
+      - 'docs/'
   push:
     branches:
       - main
+    paths-ignore:
+      - 'docs/'
   schedule:
     - cron: 0 0 * * *
 env:

.github/workflows/rust-lint.yml

@@ -11,9 +11,15 @@ on:
   pull_request:
     branches:
       - main
+    paths:
+      - '**/*.rs'
+      - '.github/workflows/rust-lint.yml'
   push:
     branches:
       - main
+    paths:
+      - '**/*.rs'
+      - '.github/workflows/rust-lint.yml'
   schedule:
     - cron: "0 0 * * *"
 

.github/workflows/unit-tests.yml

@@ -14,9 +14,13 @@ on:
     # This needs to be declared explicitly so that the job is actually
     # run when moved out of draft.
     types: [opened, synchronize, reopened, ready_for_review]
+    paths-ignore:
+      - 'docs/'
   push:
     branches:
       - main
+    paths-ignore:
+      - 'docs/'
   schedule:
     - cron: "0 0 * * *"