Skip to content

Make CI setup less outdated - #396

Merged
giordano merged 5 commits into
masterfrom
mg/ci
Oct 20, 2026
Merged

giordano merged 5 commits into
masterfrom
mg/ci

Conversation

@giordano

Copy link
Copy Markdown
Contributor

Actually do the job that DependaBot refused to do in #392

@giordano giordano added the github_actions Pull requests that update GitHub Actions code label Oct 19, 2026
@codecov

codecov Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.63%. Comparing base (90ebc5f) to head (b2ea3e6).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #396      +/-   ##
==========================================
+ Coverage   96.58%   96.63%   +0.05%     
==========================================
  Files           6        6              
  Lines         468      475       +7     
==========================================
+ Hits          452      459       +7     
  Misses         16       16              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

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

1. it's totally useless, clearly no one was looking at it
2. this disabled the entire workflow, even not on schedule,
   when the repo became inactive
@giordano
giordano merged commit b27ac81 into master Oct 20, 2026
16 checks passed
@giordano
giordano deleted the mg/ci branch October 20, 2026 00:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant