Remove scip/zimpl binaries from shared repository
Passed
Robin Sonnabend
created pipeline for commit a9345f60
, finished
1 related merge request: !12 Remove scip/zimpl binaries from shared repository
1 minute 24 seconds, queued for 4 seconds