diff options
author | Daan De Meyer <daan.j.demeyer@gmail.com> | 2024-05-16 17:20:24 +0200 |
---|---|---|
committer | Daan De Meyer <daan.j.demeyer@gmail.com> | 2024-05-30 12:47:45 +0200 |
commit | 639403f9a86869984b155edda2521741950f5417 (patch) | |
tree | 1444e8cb806d3de96565d33442b92094652e4ae8 /.github/workflows/mkosi.yml | |
parent | mkosi: Sanitizer improvements (diff) | |
download | systemd-639403f9a86869984b155edda2521741950f5417.tar.xz systemd-639403f9a86869984b155edda2521741950f5417.zip |
ci: Build with sanitizers in mkosi
Diffstat (limited to '.github/workflows/mkosi.yml')
-rw-r--r-- | .github/workflows/mkosi.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml index a3be3e99b1..3f75ef54aa 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -117,6 +117,7 @@ jobs: WITH_DEBUG=1 # Enabling optimizations significantly speeds up integration tests. OPTIMIZATION=g + SANITIZERS=address,undefined [Host] ToolsTree=default |