diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-20 21:59:14 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-20 21:59:14 +0200 |
| commit | fc8ee3ca9bd7250c0aa26cd2ec581b93bb738ac1 (patch) | |
| tree | 976723d0956f20e304916e8f254ff3c86b900325 /servers | |
| parent | 9dad483920ffa3c32a03f1f4cc869b3f7d1cbe0e (diff) | |
CI: Don't upload linux-sanitizers artifacts
It's 1.5 GB, that's maybe a bit overkill.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions