merge_elasto_plast…c5496ea0c542a976df55dea…

Apr 27 2018

typo
c5496ea0c542
·junge on Apr 27 2018, 14:46.
added missing agents
a4ee59445f77
·junge on Apr 27 2018, 14:35.
parallel for two agents
7bdc93fe25b7
·junge on Apr 27 2018, 14:30.
report compiler name
5da05d4448b6
·junge on Apr 27 2018, 13:16.
try non-lightweight scm in jenkins
cf012f92bb1e
·junge on Apr 27 2018, 13:10.
use git plugin
5eaae3575d98
·junge on Apr 27 2018, 13:08.
typo
70fcbda87412
·junge on Apr 27 2018, 13:02.
checkout git commit
bc72178b3589
·junge on Apr 27 2018, 12:50.
now checking out specific commit
5cc62b439e45
·junge on Apr 27 2018, 12:45.
modified Jenkinsfile to react to differentials
8e157107dfda
·D185
·junge on Apr 27 2018, 11:09.