Skip to content
Snippets Groups Projects

Switch to latest snapshot version of ProB 2

Passed
dgelessus created pipeline for commit 6db07123
, finished
For master
7 minutes 27 seconds, queued for 0 seconds