Skip to content
Snippets Groups Projects

Switch to release version 4.13.0 of ProB Java API

Passed
dgelessus created pipeline for commit 5e14566c
, finished
For master
4 minutes 43 seconds, queued for 1 seconds