diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-18 23:41:44 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-18 23:41:44 +0100 |
| commit | 17da86eb7bf112682102cba66d68af00bb94f05d (patch) | |
| tree | 0f667db49cb91e2b5050f54a662d80d54fae999f /core | |
| parent | 37589edf17320312ed7531261bd633ed7c5563a1 (diff) | |
CI: Disable debug_symbols for Linux + all sanitizers build
We're running out of disk space so builds are failing...
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions