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

v0.23.1-rc1 #1029

Merged
merged 2 commits into from
Jul 19, 2023
Merged

v0.23.1-rc1 #1029

merged 2 commits into from
Jul 19, 2023

Conversation

dehann
Copy link
Member

@dehann dehann commented Jul 19, 2023

No description provided.

@dehann dehann added this to the v0.23.1 milestone Jul 19, 2023
@dehann dehann added the release label Jul 19, 2023
@codecov
Copy link

codecov bot commented Jul 19, 2023

Codecov Report

Merging #1029 (3344ba0) into release/v0.23 (fb05354) will increase coverage by 11.20%.
The diff coverage is 100.00%.

@@                Coverage Diff                 @@
##           release/v0.23    #1029       +/-   ##
==================================================
+ Coverage          67.62%   78.82%   +11.20%     
==================================================
  Files                 26       26               
  Lines               2131     2139        +8     
==================================================
+ Hits                1441     1686      +245     
+ Misses               690      453      -237     
Files Changed Coverage Δ
src/FileDFG/services/FileDFG.jl 78.40% <100.00%> (ø)

... and 11 files with indirect coverage changes

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

@dehann dehann merged commit fb4519c into release/v0.23 Jul 19, 2023
6 of 8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant