Closed alexanderkiel closed 6 days ago
Because PR's are rebased and pushed onto main now, we will have an extra build workflow running for already checked commits. By removing the push trigger, we save that runs.
Because PR's are rebased and pushed onto main now, we will have an extra build workflow running for already checked commits. By removing the push trigger, we save that runs.