<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Hello Oliver and All:</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Now that Tapenade development has taken place (and I would like to use it for research as so far i find it favorable to OpenAD), it would be nice to have CI for tapenade verifications, and I wonder if this something that can be introduced via PR, and if it
is something i can do entirely by myself through modifying .github/workflows/build_testing.yml.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
i see that i would also need a docker image too which can be checked out. i see docker definitions in tools/ci, but im not sure if the OpenAD one is there (hence im not sure if all appropriate dockerfiles need to be in github). it would not be too difficult
to create an image as it just needs java, and the correct version of libc, but i don't know how to register this.</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
furthermore how would the CI be tested — just by submitting the PR with the modified yml?</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
many thanks!</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
dan</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div class="elementToProof" id="Signature">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="background-color: rgb(255, 255, 255); margin: 0px; font-family: Arial, Helvetica, sans-serif; font-size: 9.75pt; color: rgb(136, 136, 136);" class="elementToProof">
<span style="background-color: rgb(255, 255, 255);">--</span></div>
<div style="background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<div style="background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px; font-family: Arial, Helvetica, sans-serif; font-size: 12.8px; color: rgb(136, 136, 136);" class="elementToProof">
Daniel Goldberg, PhD (he/him)</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px; font-family: Arial, Helvetica, sans-serif; font-size: 12.8px; color: rgb(136, 136, 136);" class="elementToProof">
Reader in Glaciology</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px; font-family: Arial, Helvetica, sans-serif; font-size: 12.8px; color: rgb(136, 136, 136);" class="elementToProof">
School of Geosciences, University of Edinburgh<br>
<span style="font-family: arial, helvetica, clean, sans-serif; color: rgb(0, 0, 0); line-height: 15px;">Geography Building, Drummond Street, Edinburgh EH8 9XP</span></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; margin: 0px; font-family: arial, helvetica, clean, sans-serif; font-size: 12.8px; color: rgb(0, 0, 0);" class="elementToProof">
<span style="line-height: 15px;"><a class="OWAAutoLink" id="OWAc646e00a-6815-a38f-d83d-1ffa9d477f5d" href="https://dngoldberg.github.io/">https://dngoldberg.github.io/</a></span></div>
</div>
</div>
</div>
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
</body>
</html>