remove some configs (#1127)

This commit is contained in:
Matthew Kennedy 2020-02-04 18:30:45 -08:00 committed by GitHub
parent 20465107ed
commit bc8ad6ba9d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 0 deletions

View File

@ -61,7 +61,20 @@ jobs:
type-extra-params: -DEFI_ENABLE_ASSERTS=FALSE -DCH_DBG_ENABLE_TRACE=FALSE -DCH_DBG_ENABLE_ASSERTS=FALSE -DCH_DBG_ENABLE_STACK_CHECK=FALSE -DCH_DBG_FILL_THREADS=FALSE -DCH_DBG_THREADS_PROFILING=FALSE
build-debug-level-opt: -O2 -ggdb -g3
# We don't need debug builds for every board...
exclude:
- build-target: frankenso-pal
build-type: debug
- build-target: mre-f4
build-type: debug
- build-target: mre-f7
build-type: debug
- build-target: prometheus-405
build-type: debug
- build-target: prometheus-469
build-type: debug
- build-target: proteus
build-type: debug
- build-target: kinetis
build-type: debug