search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

GH Actions: Do not fail when patchbot_ticket is a single ticket #158

Closed mkoeppe closed 2 years ago