Alejandro Dustet 5eb1db726f Skip double CI build on main branch pull requests (#1491) ... Why: ---- The trigger for the build job is either a `push` or a `pull_request`. When a pull request is opened against master two CI run start, since both triggers are valid. This Commit: ---- - Skip the build job if the event is a pull request made from the same repository. Since a CI build job hast started already because a push trigger was detected.		2021-06-04 11:54:03 -04:00
..
ISSUE_TEMPLATE	Update issue templates [skip ci]	2020-04-17 12:25:14 -04:00
workflows	Skip double CI build on main branch pull requests (#1491)	2021-06-04 11:54:03 -04:00
REPRODUCTION_SCRIPT.rb	Bump version for the reproduction script [ci skip]	2020-06-24 11:20:12 -04:00