Skip to content
Snippets Groups Projects

Switch to release version 4.15.0 of the ProB Java API

Passed
dgelessus created pipeline for commit 93e62201
, finished
For master
3 minutes 0 seconds, queued for 2 seconds