Use RobustComparabilityCheck

2 jobs for feature/guarded-concept-check in 2 minutes and 24 seconds (queued for 3 seconds)