Re: [isabelle] [ExternalEmail] [isabelle-dev] afp-2016-1 branch



> As for other AFP entries, like Flyspeck_Tame, we have a few ones that
> are too big to test on every push like the rest of the AFP and those get
> tested in isabelle-nightly-slow. I don't know the AFP in enough detail
> to say with certainty that none of them contains any parts that are
> skipped during these tests like Flyspeck_Tame used to, but I don't think
> so, given that that testing such things is the express purpose of
> nightly-slow.

I did check for build conditions and occurrences of ISABELLE_FULL_TEST.
All of these should have been eliminated. In case anyone notices
leftover conditional builds (except for code generator checks), that
would be a bug.

Cheers
Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.