Skip to content
This repository has been archived by the owner on Jan 31, 2023. It is now read-only.

retest ticket 0 in case some tests failed #75

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

videlec
Copy link
Contributor

@videlec videlec commented Nov 26, 2015

As proposed on sage-devel a long time ago, I added in the main loop an additional check: if the build or tests failed the patchbot tests again the base...

It is not finished yet (for example, you do not want to do this test if there is only one ticket to test...). But I let it run on mangouste to see what happens.

@jdemeyer
Copy link
Contributor

jdemeyer commented Nov 25, 2017

You should absolutely never run make distclean without confirmation!

@videlec
Copy link
Contributor Author

videlec commented Nov 29, 2017

You should absolutely never run make distclean without confirmation!

sage -f sagelib? How do we guess what is broken? Perhaps the patchbot should not try to guess and a safer option would be to stop the patchbot if ticket 0 fails. What I want is to test more often ticket 0, let say

  • each new beta
  • each 10 tickets
  • each time there are 3 consecutive failures in the doctest

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants