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: validate --SourceDirectory #805

Merged
merged 1 commit into from
Sep 25, 2023
Merged

Conversation

melotic
Copy link
Member

@melotic melotic commented Sep 25, 2023

No description provided.

@melotic melotic requested a review from a team as a code owner September 25, 2023 20:22
@melotic melotic requested a review from Omotola September 25, 2023 20:22
@melotic melotic added the type:bug Bug fix of existing functionality label Sep 25, 2023
@melotic melotic force-pushed the justinperez/validate-source-directory branch from a57df3b to 14910a1 Compare September 25, 2023 20:22
@melotic melotic enabled auto-merge (squash) September 25, 2023 20:23
@melotic melotic force-pushed the justinperez/validate-source-directory branch from 14910a1 to 790af26 Compare September 25, 2023 20:24
@codecov
Copy link

codecov bot commented Sep 25, 2023

Codecov Report

Merging #805 (790af26) into main (f5db568) will increase coverage by 0.06%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main     #805      +/-   ##
==========================================
+ Coverage   75.74%   75.81%   +0.06%     
==========================================
  Files         239      239              
  Lines        9953     9959       +6     
==========================================
+ Hits         7539     7550      +11     
+ Misses       2414     2409       -5     
Files Coverage Δ
...entDetection.Orchestrator/Commands/ScanSettings.cs 93.75% <100.00%> (+3.75%) ⬆️

... and 1 file with indirect coverage changes

@melotic melotic merged commit 4a6b01d into main Sep 25, 2023
25 checks passed
@melotic melotic deleted the justinperez/validate-source-directory branch September 25, 2023 20:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:bug Bug fix of existing functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants