Changes between Version 3 and Version 4 of patchbot


Ignore:
Timestamp:
Apr 19, 2022, 7:50:51 AM (8 months ago)
Author:
Frédéric Chapoton
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • patchbot

    v3 v4  
    8686}}}
    8787
    88 ||<#FFFF66>② Run the patchbot using '''python3 -m sage_patchbot.patchbot --sage-root HERE_PATH --owner HERE_NAME'''||
     88[[span(style=background:#FFFF66,② Run the patchbot using '''python3 -m sage_patchbot.patchbot --sage-root HERE_PATH --owner HERE_NAME''')]]
    8989
    9090The patchbot should be run with '''pip3''' and '''python3'''. The version of Python must be at least 3.7.