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

Conversation

@christophfroehlich

Copy link
Copy Markdown
Member

Description

Should reduce github runner usage if any of the linter gates fail.
Drawback: one more file to maintain.

Did you use Generative AI?

GPT Codex 5.3

@christophfroehlich
christophfroehlich marked this pull request as draft July 14, 2026 11:26
@codecov

codecov Bot commented Jul 14, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 89.53%. Comparing base (4bcce09) to head (5194e1f).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #3474      +/-   ##
==========================================
+ Coverage   89.51%   89.53%   +0.01%     
==========================================
  Files         164      164              
  Lines       21265    21265              
  Branches     1658     1658              
==========================================
+ Hits        19036    19040       +4     
+ Misses       1530     1526       -4     
  Partials      699      699              
Flag Coverage Δ
unittests 89.53% <ø> (+0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.
see 2 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@christophfroehlich
christophfroehlich marked this pull request as ready for review July 22, 2026 05:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant