Skip CI builds when making changes to docs

thomashope · thomashope · commit 021ab859a309 · 2025-10-01T15:27:22.000+01:00
This change should make CI ignore changes to files inside the
website folder.
diff --git a/.github/workflows/ci-workflow.yml b/.github/workflows/ci-workflow.yml
@@ -1,6 +1,12 @@
 name: CI Workflow
 
-on: [push, pull_request]
+on:
+  push:
+    paths-ignore:
+      - 'website/**'
+  pull_request:
+    paths-ignore:
+      - 'website/**'
 
 jobs:
   linux:
