Workspaces for adamantine-nightly #27

• /var/jenkins/workspace/adamantine-nightly on waffle_03
• /var/jenkins_home/workspace/adamantine-nightly@script/769419fd3c5a9c81c4beafaeab26398461553595cef1aaea2775372c607f95c5 on built-in
• /var/jenkins/workspace/adamantine-nightly on villars06