Skip to content

GitLab

push

2 jobs for VERIPB2 in 44 minutes and 4 seconds (queued for 10 seconds)
7e7177dc
1 related merge request: !9 Add support for veripb in CP based solvers
Status Name Job ID Coverage
  Build
passed maven38-java11 #65653

00:22:31

 
  Test
passed maven38-java16 #65654

00:21:33