Skip to content
Snippets Groups Projects

Remove scip/zimpl binaries from shared repository

Passed
Robin Sonnabend created pipeline for commit a9345f60
, finished
1 minute 24 seconds, queued for 4 seconds