search

sagemath / sage-patchbot

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

sage_patchbot/patchbot.py: Fix/reactivate is_ci_only #159

Open mkoeppe opened 2 years ago

mkoeppe commented 2 years ago

Working now - as tested in https://github.com/mkoeppe/sage-patchbot/runs/5172449849?check_suite_focus=true, reported green checkmark in https://patchbot.sagemath.org/ticket/33196/