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

Merge request reports

Loading