Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

actions: run CI on the merged commit #5657

Merged
merged 1 commit into from
Nov 14, 2023
Merged

actions: run CI on the merged commit #5657

merged 1 commit into from
Nov 14, 2023

Conversation

multun
Copy link
Contributor

@multun multun commented Nov 10, 2023

The reason why we were running CI on the unmerged commit in the first place was a now fixed codecov issue.

See codecov/uploader#525

Reverts: 6c242e9

The reason why we were running CI on the unmerged commit in
the first place was a now fixed codecov issue.

See codecov/uploader#525

Reverts: 6c242e9
@multun multun requested a review from flomonster as a code owner November 10, 2023 21:55
Copy link

codecov bot commented Nov 10, 2023

Codecov Report

Merging #5657 (a18a16b) into dev (e2f8c95) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@             Coverage Diff              @@
##                dev    #5657      +/-   ##
============================================
- Coverage     19.58%   19.58%   -0.01%     
  Complexity     2322     2322              
============================================
  Files           886      886              
  Lines        105748   105748              
  Branches       2572     2572              
============================================
- Hits          20708    20706       -2     
- Misses        83531    83533       +2     
  Partials       1509     1509              
Flag Coverage Δ
core 78.79% <ø> (ø)
editoast 68.00% <ø> (-0.03%) ⬇️
front 8.31% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

see 2 files with indirect coverage changes

@multun multun added this pull request to the merge queue Nov 14, 2023
Merged via the queue into dev with commit 6a744cb Nov 14, 2023
@multun multun deleted the actions-merged-commit branch November 14, 2023 09:24
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.

2 participants