Skip to content
Snippets Groups Projects

Update ProB Java API to version 4.13.2-SNAPSHOT

Failed
dgelessus created pipeline for commit 5377adb9
, finished
For master
2 minutes 38 seconds, queued for 3 seconds