Skip to content

fix: don’t build anew if a PR was simply edited, edited again#336

Merged
jenstroeger merged 6 commits intostagingfrom dont-build-if-pr-editedOct 12, 2022