Skip to content

GitLab

Merged
Created by Philipp Arras@parrasMaintainer

Cut down CI time a little

I have made sure that the conceptional output of the changed demos has not changed

Edited by Philipp Arras