Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] testboard failing is groovy?

view this post on Zulip Email Gateway (Aug 05 2020 at 22:26):

From: Lawrence Paulson <>
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.

Screenshot 2020-08-05 at 21.05.48.png

Last updated: Mar 04 2024 at 10:08 UTC