Skip to content

[CI] Single job on PRs only#4814

Merged
AenBleidd merged 1 commit intoBOINC:masterfrom talregev:TalR/single_job_on_prs_onlyJun 25, 2022

Commits

Commits on Jun 25, 2022