Closed wjdp closed 2 years ago
It seems just having on: push works for me but not for external PRs.
on: push
Is there something preventing this from being merged?
@QuLogic I don't think so :smile:
It seems just having
on: push
works for me but not for external PRs.