Skip to content
Merged

Do not run CI for PRs where both branches are from the same repo#7
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

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.

GitHub status