vdm2c-vdmlib #67 Console [Jenkins]
Checking out Revision 52e7ea6c0509b32963f9376b96abbf81d94a0a19 (refs/remotes/origin/development)
> /usr/bin/git checkout -f 52e7ea6c0509b32963f9376b96abbf81d94a0a19
> /usr/bin/git rev-list 2dd83d6f565400a58092ef9394ef6fab3bfa8ede # timeout=10
[vdm2c-vdmlib] $ /bin/sh -xe /tmp/hudson5696576230788573147.sh
Page generated: Jul 13, 2020 11:46:13 AM CESTREST APIJenkins ver. 2.222.3