I am a bit confused on which CI platform DPsim currently uses.
Can one of them be removed? Gitlab / GitHub?