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: don't have separate parallel lint steps #367

Merged
merged 1 commit into from
Mar 15, 2022
Merged

ci: don't have separate parallel lint steps #367

merged 1 commit into from
Mar 15, 2022

Conversation

tsahee
Copy link
Contributor

@tsahee tsahee commented Mar 15, 2022

these don't save a lot of time, do cause some issues.

don't save a lot of time, do cause some issues.
@codecov
Copy link

codecov bot commented Mar 15, 2022

Codecov Report

Merging #367 (fabf12e) into master (1ba8a05) will decrease coverage by 7.15%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #367      +/-   ##
==========================================
- Coverage   56.15%   49.00%   -7.16%     
==========================================
  Files         170      159      -11     
  Lines       20274    16016    -4258     
  Branches      455      455              
==========================================
- Hits        11385     7848    -3537     
+ Misses       7746     7023     -723     
- Partials     1143     1145       +2     

Copy link
Contributor

@hkalodner hkalodner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@hkalodner hkalodner merged commit 5769a3e into master Mar 15, 2022
@hkalodner hkalodner deleted the ci-lint branch March 15, 2022 20:19
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