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

CI: Leave running pre-commit to pre-commit.ci #353

Merged
merged 1 commit into from
Nov 8, 2022
Merged

Conversation

mjpieters
Copy link
Collaborator

@mjpieters mjpieters commented Nov 8, 2022

No description provided.

@codecov
Copy link

codecov bot commented Nov 8, 2022

Codecov Report

Merging #353 (b3a97e9) into master (d3c1483) will not change coverage.
The diff coverage is n/a.

❗ Current head b3a97e9 differs from pull request most recent head 74901c8. Consider uploading reports for the commit 74901c8 to get more accurate results

@@           Coverage Diff           @@
##           master     #353   +/-   ##
=======================================
  Coverage   98.36%   98.36%           
=======================================
  Files           1        1           
  Lines          61       61           
  Branches        9        9           
=======================================
  Hits           60       60           
  Misses          1        1           
Flag Coverage Δ
unit 96.72% <ø> (ø)

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

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@mjpieters mjpieters merged commit a077c43 into master Nov 8, 2022
@mjpieters mjpieters deleted the ci_pre_commit branch November 8, 2022 13:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant