diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-11 16:44:45 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-11 16:44:45 -0800 |
| commit | 7929e2a061ab1a95fbaa6a417994cfabdc287292 (patch) | |
| tree | d87cd63e8ecb4a8d8dcb3c4e41e38d94ddda168a /.github | |
| parent | a22deeb091673226a1edb5a89bc8a596a3d51fc7 (diff) | |
ci: Replace debug builds with assertion enabled production builds. (#6098)
This will help reduce the CI times and ccache sizes.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eb95a7bef..7e029e3c7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,21 +9,21 @@ jobs: name: [ production, production-clang, - debug, - debug-cln-clang + production-dbg, + production-dbg-clang ] exclude: - name: production-clang os: macos-latest - - name: debug + - name: production-dbg os: macos-latest - - name: debug-cln-clang + - name: production-dbg-clang os: macos-latest include: - name: production - config: production --all-bindings --lfsc --editline --poly + config: production --all-bindings --lfsc --editline --poly --symfpu cache-key: production python-bindings: true check-examples: true @@ -31,21 +31,21 @@ jobs: - name: production-clang config: production - cache-key: production-clang + cache-key: productionclang check-examples: true env: CC=clang CXX=clang++ os: ubuntu-latest exclude_regress: 1-4 - - name: debug - config: debug --symfpu --lfsc --no-debug-symbols --editline - cache-key: debug + - name: production-dbg + config: production --assertions --tracing --unit-testing --symfpu --lfsc --editline + cache-key: dbg os: ubuntu-latest exclude_regress: 1-4 - - name: debug-cln-clang - config: debug --symfpu --cln --gpl --no-debug-symbols --no-proofs --poly - cache-key: debug-cln-clang + - name: production-dbg-clang + config: production --assertions --tracing --unit-testing --symfpu --cln --gpl --no-proofs --poly + cache-key: dbgclang env: CC=clang CXX=clang++ os: ubuntu-latest exclude_regress: 1-4 |