On 24/02/17 14:24, Makarius wrote:
> On 22/02/17 10:14, Lars Hupel wrote:
>>
>> 11:07:25.458 Iptables_Semantics_Examples: theory
>> Analyze_Synology_Diskstation
>> 19:01:48.518 Run out of store - interrupting threads
>>
>> So, nothing happens for a while and then we get an out of memory error.
>>
On 22/02/17 10:14, Lars Hupel wrote:
>
> 11:07:25.458 Iptables_Semantics_Examples: theory
> Analyze_Synology_Diskstation
> 19:01:48.518 Run out of store - interrupting threads
>
> So, nothing happens for a while and then we get an out of memory error.
> Note that the "slow" sessions are executed
Dear developers,
there have been some failures in the last two runs of the slow sessions:
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/349/
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/348/
(Relevant changesets are listed there.)
Unfortunately there have been