Remove the CI job with checking
Remove the CI job that include the "with-checking" flags, since this is already included in the ci-config default pipeline.
Edited by Simon Praetorius
Remove the CI job that include the "with-checking" flags, since this is already included in the ci-config default pipeline.