On Sat, 5 Feb 2022, 18:21 Matthias Koeppe, wrote:
> It is now possible to run the Sage Patchbot in a container on GitHub
> Actions.
>
> Go to https://github.com/sagemath/sage-patchbot, use the Fork button to
> create a fork in your account.
>
> Go to the Actions tab, select "Run patchbot". Push
It is now possible to run the Sage Patchbot in a container on GitHub
Actions.
Go to https://github.com/sagemath/sage-patchbot, use the Fork button to
create a fork in your account.
Go to the Actions tab, select "Run patchbot". Push "Run workflow".
Instead of the default platform, ubuntu-focal-
