Skip to content
Snippets Groups Projects

Update ProB Java API to current 4.12.3-SNAPSHOT

Passed
dgelessus created pipeline for commit d684f3ac
, finished
For master
4 minutes 55 seconds, queued for 3 seconds