2 Oct
2023
2 Oct
'23
9:41 a.m.
Manually disable some warnings that are currently emitted. Eventually the warnings should be solved and -Werror should remain alone.
-- v5: ci: Update the README with some recent changes.