Merge branch 'main' into update-logo-and-contact

stefanv · web-flow · commit e5292d8c88f5 · 2025-11-17T23:09:43.000-08:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -33,3 +33,11 @@ jobs:
 
       - store_artifacts:
           path: _build/html
+
+workflows:
+  build_prs:
+    jobs:
+      - build:
+          filters:
+            branches:
+              ignore: main
