Merged
Do not run CI for PRs where both branches are from the same repo#7jgiannuzzi merged 1 commit intoG-Research:masterfrom jgiannuzzi:ci-no-local-pr
jgiannuzzi merged 1 commit intoG-Research:masterfrom jgiannuzzi:ci-no-local-pr
Do not run CI for PRs where both branches are from the same repo#7
Merged
jgiannuzzi merged 1 commit intoG-Research:masterfrom jgiannuzzi:ci-no-local-prJun 4, 2020
+1
Commits
Unable to load page.
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.