Merged
Run CI on PRs that come from forks #107#127Julian merged 1 commit intoleanprover-community:masterfrom Seasawher:update-ci-trigger
Julian merged 1 commit intoleanprover-community:masterfrom Seasawher:update-ci-trigger
Run CI on PRs that come from forks #107#127
Merged
Julian merged 1 commit intoleanprover-community:masterfrom Seasawher:update-ci-triggerJan 13, 2024
+1-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.