Merge pull request #1658 from borglab/enable-linux-ci

Re-enable Debug CI for Linux
release/4.3a0
Frank Dellaert 2023-12-04 07:50:30 -08:00 committed by GitHub
commit c8d17b2d89
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -31,7 +31,7 @@ jobs:
ubuntu-22.04-clang-14,
]
build_type: [Release]
build_type: [Debug, Release]
build_unstable: [ON]
include:
- name: ubuntu-20.04-gcc-9