Thanks to @Skallwar, we now have a proper clippy CI. However, the build-without-warnings job is still using clippy instead of check