Move install-build-deps.sh
Passed
Laura Cappelli
created pipeline for commit
ce8b481c
, finished
1 related merge request: !19 Resolve "Remove dependency from storm2/build project"
8 minutes 38 seconds, queued for 0 seconds