Skip to content

chore(ci): Pre-commit on the public image#460

Merged
JR-Morgan merged 2 commits intomainfrom
jrm/pre-commit-on-public
Oct 15, 2025
Merged

chore(ci): Pre-commit on the public image#460
JR-Morgan merged 2 commits intomainfrom
jrm/pre-commit-on-public

Conversation

@JR-Morgan
Copy link
Copy Markdown
Member

It would be better to run the pre-commit hook on the public image workflow.

I'm thinking that community contributed PRs may see the the internal test job fail. It would be nice if the one that does run has the pre-commit.

@codecov
Copy link
Copy Markdown

codecov Bot commented Oct 14, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.61%. Comparing base (8a76006) to head (225b1e9).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #460   +/-   ##
=======================================
  Coverage   90.61%   90.61%           
=======================================
  Files         138      138           
  Lines        6373     6373           
=======================================
  Hits         5775     5775           
  Misses        598      598           

☔ View full report in Codecov by Sentry.
📢 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.

@JR-Morgan JR-Morgan requested a review from gjedlicska October 15, 2025 14:12
@JR-Morgan JR-Morgan merged commit 0d74848 into main Oct 15, 2025
11 checks passed
@JR-Morgan JR-Morgan deleted the jrm/pre-commit-on-public branch October 15, 2025 20:16
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