Skip to content

Diff track width config #810

Diff track width config

Diff track width config #810

name: TrajoptLib / Sanitizers
on: [pull_request, push]
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
cancel-in-progress: true
jobs:
build:
timeout-minutes: 10
strategy:
fail-fast: false
matrix:
include:
- sanitizer-name: asan
cmake-args: "-DCMAKE_BUILD_TYPE=Asan"
- sanitizer-name: tsan
cmake-args: "-DCMAKE_BUILD_TYPE=Tsan"
- sanitizer-name: ubsan
cmake-args: "-DCMAKE_BUILD_TYPE=Ubsan"
name: ${{ matrix.sanitizer-name }}
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- name: Install dependencies
run: sudo apt-get update && sudo apt-get install -y ninja-build
- name: Make GCC 14 the default toolchain (Linux)
run: |
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-14 200
sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-14 200
- name: Set up sccache
uses: mozilla-actions/sccache-action@v0.0.5
- run: cmake --preset with-examples-sccache ${{ matrix.cmake-args }}
working-directory: trajoptlib
- run: cmake --build build --config RelWithDebInfo --parallel $(nproc)
working-directory: trajoptlib
env:
SCCACHE_GHA_ENABLED: "true"
- run: ctest --test-dir build -C RelWithDebInfo --output-on-failure
working-directory: trajoptlib