On Saturday, 6 June 2015 10:47:09 UTC+1, Volker Braun wrote:
>
> If you can fix the doctests then just switch it back to optional, its not 
> a big deal. Really only the content of build/pkgs/gap_packages/type changed.
>

sure, but I got 4 messages about different optional packages, all of them 
looked as it sent by a bot that
I am not aware about.
The messages should tell you how to reproduce the failures; preferably 
pointing out to a log to look at.
t? 
OK, I am running sage -tp --optional=sage,gap_packages src/sage/
now, as I have no clue where these errors are.
And suppose I don't even get them. Then what?
I really don't want to argue with a bot...



>
>
> On Saturday, June 6, 2015 at 11:38:24 AM UTC+2, Dima Pasechnik wrote:
>>
>> WTF? Can you at least give a notice to fix the doctests?!
>>
>> #17390: GAP 4.7.7
>>
>> -------------------------------------------------+-------------------------
>>        Reporter:  slelievre                      |        Owner:
>>            Type:  enhancement                    |       Status:  closed
>>        Priority:  major                          |    Milestone:  sage-6.5
>>       Component:  packages: standard             |   Resolution:  fixed
>>        Keywords:                                 |    Merged in:
>>         Authors:  Volker Braun                   |    Reviewers:  François
>> Report Upstream:  N/A                            |  Bissey
>>          Branch:                                 |  Work issues:
>>   a210dd7544ee1579c29dfc4b5149d75301f66c85       |       Commit:
>>    Dependencies:                                 |     Stopgaps:
>>
>> -------------------------------------------------+-------------------------
>> Changes (by jdemeyer):
>>
>>  * commit:  a210dd7544ee1579c29dfc4b5149d75301f66c85 =>
>>
>>
>> Comment:
>>
>>  FYI: `gap_packages` optional doctests don't pass, so the package was 
>> moved
>>  to experimental.
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to