What config file do you pass to the patchbot ? try to pass nothing in 'tested_files'.
Le samedi 14 août 2021 à 13:48:58 UTC+2, axio...@yahoo.de a écrit : > > I was trying to set up a patchbot, but failed. It always ends with the > message > > 0: Pending > ok (report successfully posted) > [2021-08-14 11:28:38] Done reporting #0 > base > Current base: git://github.com/sagemath/sage.git develop > Failing tests in your base install: exiting. > > However, ./sage -tp 8 --all --long reports no failure. > > The only error message I can find is > > Traceback (most recent call last): > File > "/home/martin/.local/lib/python3.8/site-packages/sage_patchbot/patchbot.py", > line 1150, in test_a_ticket > with open(path) as f: > FileNotFoundError: [Errno 2] No such file or directory: > '/home/martin/sage-patchbot/src/ext/doctest/python3-known-passing.txt' > 2021-08-14 11:28:35 > > What might I be doing wrong? > > Martin > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/28689738-6fdf-4048-b1eb-1784219d34a9n%40googlegroups.com.
