Repository navigation
fix: make MUNI_NODISCARD the attribute under GCC 14's C23 too - #271
Merged
Merged
Annotations
1 warning
|
Run github/codeql-action/init@9b3254085494b55a0f7c4c2b3d2d52cc712ce370
Cannot build an overlay database because build-mode is set to "manual" instead of "none". Falling back to creating a normal full database instead.
|
background
wait
wait-all
cancel
parallel
Loading