Skip to content

Use a separate PR workflow with gates - #3474

Open
christophfroehlich wants to merge 12 commits into
masterfrom
pr-workflow
Open

Use a separate PR workflow with gates#3474
christophfroehlich wants to merge 12 commits into
masterfrom
pr-workflow

Use master branch of ci repo again

5194e1f
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 31, 2026 in 1s

89.53% (+0.01%) compared to 4bcce09

View this Pull Request on Codecov

89.53% (+0.01%) compared to 4bcce09

View more details on Codecov