Skip to content
Snippets Groups Projects

Update ProB Java API to version 4.12.2-SNAPSHOT

Passed
dgelessus created pipeline for commit baa3816e
, finished
For master
2 minutes 41 seconds, queued for 0 seconds