]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
projects / thirdparty / systemd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: aef13ad)
ci: Build with sanitizers in mkosi 32866/head
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 16 May 2024 15:20:24 +0000 (17:20 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 30 May 2024 10:47:45 +0000 (12:47 +0200)
.github/workflows/mkosi.yml patch | blob | blame | history

diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml
index a3be3e99b1d536202a9724a0a43046ec0bdefae1..3f75ef54aa411c9c261884af7235c287bae791ab 100644 (file)
--- 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
Unnamed repository; edit this file 'description' to name the repository.