Only build on `push`, not on `pull_request` too#235

Open

sambostock wants to merge 1 commit intomainfrom skip-redundant-pr-builds

+1-1

Commits on Feb 10, 2021

Only build on push, not on pull_request too
sambostock
committed