
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="">What is this Groovy label on all the failing testboard runs? #349 died almost immediately with</div><div class=""><br class=""></div><div class="">19:16:52 *** java.util.NoSuchElementException: key not found: LEM.Lem_pervasives_extra<br class="">19:16:52 *** The error(s) above occurred in session "CakeML" (line 13 of "/media/data/jenkins/workspace/testboard/afp/thys/CakeML/ROOT")<br class="">19:16:52 Build step 'Execute shell' marked build as failure<br class="">19:16:53 ERROR: Failed to evaluate groovy script.</div><div class=""><br class=""></div><img apple-inline="yes" id="10158742-CCAB-47CE-9491-08515BFEB412" width="257" height="240" src="cid:A5891875-A1E9-48A7-AC24-E88DEE70464A@lan" class=""><br class=""><br class=""><br class=""><div class="">Larry</div><br class=""></body></html>