diff options
| author | hathach <[email protected]> | 2024-05-15 16:20:01 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2024-05-15 16:20:01 +0700 |
| commit | 50278211f4117079ce5eda396f68d802d9cda615 (patch) | |
| tree | a440d4f6cb2f9d1275dda5b22a98ecee742c3163 | |
| parent | 83499a2cd0f38807619c92d9a4060d20379556b9 (diff) | |
circleci light build for merged commit to master
| -rw-r--r-- | .circleci/config.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 77ab30f00..2d4532aee 100644 --- 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: |