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

fix: check_format(_local) for selected directories #2634

Merged
merged 2 commits into from
Nov 7, 2023

Conversation

AJPfleger
Copy link
Contributor

now the docker-version also works with selected subdirectories.

add some RGB for extra performance.

@github-actions github-actions bot added the Infrastructure Changes to build tools, continous integration, ... label Nov 6, 2023
Copy link

codecov bot commented Nov 6, 2023

Codecov Report

Merging #2634 (e4e4c3d) into main (7925974) will decrease coverage by 0.01%.
The diff coverage is n/a.

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

@@            Coverage Diff             @@
##             main    #2634      +/-   ##
==========================================
- Coverage   49.60%   49.59%   -0.01%     
==========================================
  Files         473      473              
  Lines       26828    26824       -4     
  Branches    12355    12355              
==========================================
- Hits        13308    13304       -4     
  Misses       4753     4753              
  Partials     8767     8767              

see 11 files with indirect coverage changes

📣 Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!

@paulgessinger paulgessinger added this to the next milestone Nov 7, 2023
@kodiakhq kodiakhq bot merged commit ce35608 into acts-project:main Nov 7, 2023
52 checks passed
@github-actions github-actions bot removed the automerge label Nov 7, 2023
@AJPfleger AJPfleger deleted the clang-format branch November 9, 2023 22:16
@paulgessinger paulgessinger modified the milestones: next, v31.0.0 Nov 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Infrastructure Changes to build tools, continous integration, ...
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants