On 20/10/2020 12:54, Lawrence Paulson wrote:
It’s a bit alarming to get an email containing a link to a page saying the distribution has failed. And when you examine the log it turns out that only an AFP entry has failed (HOL-ODE-Numerics), not the distribution. And when you run the AFP entry, it works fine: devel/thys: isabelle build -d ~/isabelle/afp/devel/thys HOL-ODE-Numerics Building HOL-Analysis ... Finished HOL-Analysis (0:03:31 elapsed time, 0:21:22 cpu time, factor 6.06) Building Ordinary_Differential_Equations ... Finished Ordinary_Differential_Equations (0:01:12 elapsed time, 0:05:45 cpu time, factor 4.76) Running HOL-ODE-Numerics ... Finished HOL-ODE-Numerics (0:08:40 elapsed time, 0:38:06 cpu time, factor 4.39) 0:13:35 elapsed time, 1:05:14 cpu time, factor 4.80 devel/thys: Can anybody figure out what’s going on here?
This is a known problem due to a change in directory structure. Lars tells me he is talking to Gerwin about it.
GoedelGod also produces spurious messages sometimes.
This is due to a change in some backend tool. Makarius is aware. Tobias
LarryBegin forwarded message: From: Isabelle/Jenkins <[email protected]> Subject: [Isabelle-ci] Build failure in AFP Date: 20 October 2020 at 00:02:18 BST To: [email protected] The AFP build failed. See the log at: https://ci.isabelle.systems/jenkins/job/isabelle-all/2349/_______________________________________________ Isabelle-ci mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-ci_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
