diff options
| author | jvoisin | 2025-10-28 18:03:24 +0100 |
|---|---|---|
| committer | jvoisin | 2025-10-28 18:10:57 +0100 |
| commit | e3c3edbf7cb483e2c941140bf3f98c9dea905ada (patch) | |
| tree | 85da73a860d7f498fc5abd4ef1bbcecdcc1f66f4 /include | |
| parent | 8dcacb8b9473b59732f9d18310f31b002911efd2 (diff) | |
Allow the CI to fail on clang for now
We know clang isn't working great for now, and we still need the CI to fix
bugs.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions