trying to run a patchbot

[Martin R]

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

[Frédéric Chapoton]

What config file do you pass to the patchbot ? try to pass nothing in 'tested_files'.

[Frédéric Chapoton]

convex63 is unhappy because of 'No space left on device'

see for example report on https://patchbot.sagemath.org/ticket/30862/

Le samedi 14 août 2021 à 13:48:58 UTC+2, axio...@yahoo.de a écrit :

[Martin R]

merci beaucoup !