Closed sfriedowitz closed 8 months ago
Whoops, this can't work because the jobs are required for PR merging, so they have to be triggered on each push.
Whoops, this can't work because the jobs are required for PR merging, so they have to be triggered on each push.