Closed Kenzzer closed 1 year ago
A change that was unfortunately overlooked in #41. We've accidentally made the jobs required for PR merge 'optional' this isn't good.
A change that was unfortunately overlooked in #41. We've accidentally made the jobs required for PR merge 'optional' this isn't good.