[isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP

[Tobias Nipkow]

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

> Larry
> 
>> Begin forwarded message:
>>
>> From: Isabelle/Jenkins <ci at isabelle.systems>
>> Subject: [Isabelle-ci] Build failure in AFP
>> Date: 20 October 2020 at 00:02:18 BST
>> To: isabelle-ci at mail46.informatik.tu-muenchen.de
>>
>> The AFP build failed. See the log at: https://ci.isabelle.systems/jenkins/job/isabelle-all/2349/
>>
>>> _______________________________________________
>>> Isabelle-ci mailing list
>>> Isabelle-ci at mailman46.in.tum.de
>>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-ci
>>
>>
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20201020/5d32ab49/attachment.bin>