circleci light build for merged commit to master

hathach · May 15, 2024 · 5027821 · 5027821
1 parent 83499a2
commit 5027821
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -91,7 +91,13 @@ jobs:
           family: << parameters.family >>
       - run:
           name: Build
-          command: python tools/build.py -s << parameters.build-system >> --toolchain clang << parameters.family >>
+          command: |
+            # Only build one board per family for non PRs i.e commit to master
+            ONE_PER_FAMILY=""
+            if [ -z "$CIRCLE_PULL_REQUEST" ]; then
+              ONE_PER_FAMILY="--one-per-family"
+            fi
+            python tools/build.py $ONE_PER_FAMILY -s << parameters.build-system >> --toolchain clang << parameters.family >>
 
 workflows:
   build: