repair_intersectio…349c4a3884b8f5fc3491695…

Apr 27 2018

fix groovy function
349c4a3884b8
·junge on Apr 27 2018, 16:55.
groovy loops
ca91570d31d8
·junge on Apr 27 2018, 16:52.
double-quote jenkins
a2d9ec5b179f
·junge on Apr 27 2018, 16:45.
jenkins typo
3ec05f1ed96b
·junge on Apr 27 2018, 16:43.
quote typo
18b654110cd7
·junge on Apr 27 2018, 16:38.
factored jenkins stages
cffb446d3cb8
·junge on Apr 27 2018, 16:31.
jenkinsfile typo
cdac87d2069a
·junge on Apr 27 2018, 16:08.
added agent to wipe steps
124f65b9521e
·junge on Apr 27 2018, 15:32.
run main pipeline without agent
74efd46d3adf
·junge on Apr 27 2018, 15:22.
switched from arcanist to curl for conduit calls
b426ddd14b65
·junge on Apr 27 2018, 15:15.
switched default docker
bf769d48f18a
·junge on Apr 27 2018, 15:00.
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.