[isabelle-dev] testboard failing is groovy?

Lawrence Paulson lp15 at cam.ac.uk
Thu Aug 6 00:26:38 CEST 2020

What is this Groovy label on all the failing testboard runs? #349 died almost immediately with

19:16:52 *** java.util.NoSuchElementException: key not found: LEM.Lem_pervasives_extra
19:16:52 *** The error(s) above occurred in session "CakeML" (line 13 of "/media/data/jenkins/workspace/testboard/afp/thys/CakeML/ROOT")
19:16:52 Build step 'Execute shell' marked build as failure
19:16:53 ERROR: Failed to evaluate groovy script.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200805/d7b09176/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot 2020-08-05 at 21.05.48.png
Type: image/png
Size: 61450 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200805/d7b09176/attachment-0001.png>

More information about the isabelle-dev mailing list