Skip to content
Snippets Groups Projects

Update ProB 2 to version 4.0.0-SNAPSHOT for Java 14 compatibility

Passed
dgelessus created pipeline for commit e5188664
, finished
For master
3 minutes 44 seconds, queued for 0 seconds