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-31 17:26:13 +0200 |
| commit | ebec3c88c3228cfbdc30bfc9cc9d5e24a6e167bc (patch) | |
| tree | 43c732e3fc0af6ef6826ee338a7cd3af6e033db0 /.github | |
| parent | TEST-21-DFUZZER: Stop marking as slow (diff) | |
| download | systemd-ebec3c88c3228cfbdc30bfc9cc9d5e24a6e167bc.tar.xz systemd-ebec3c88c3228cfbdc30bfc9cc9d5e24a6e167bc.zip | |
ci: Build Fedora rawhide with sanitizers in mkosi
Let's make sure one build has sanitizers enabled for extra coverage.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/mkosi.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml index 583f287de2..e4e233b236 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -56,18 +56,25 @@ jobs: include: - distro: arch release: rolling + sanitizers: "" - distro: debian release: testing + sanitizers: "" - distro: ubuntu release: noble + sanitizers: "" - distro: fedora release: "40" + sanitizers: "" - distro: fedora release: rawhide + sanitizers: address,undefined - distro: opensuse release: tumbleweed + sanitizers: "" - distro: centos release: "9" + sanitizers: "" steps: - uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 @@ -115,6 +122,7 @@ jobs: WITH_DEBUG=1 # Enabling optimizations significantly speeds up integration tests. OPTIMIZATION=g + SANITIZERS=${{ matrix.sanitizers }} [Host] ToolsTree=default |