github: don't run build-and-test twice for branches with pull requests#1355
Open
daandemeyer wants to merge 1 commit into
Open
github: don't run build-and-test twice for branches with pull requests#1355daandemeyer wants to merge 1 commit into
daandemeyer wants to merge 1 commit into
