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

Release v2023.10.16 #132

Merged
merged 1 commit into from
Oct 16, 2023
Merged

Release v2023.10.16 #132

merged 1 commit into from
Oct 16, 2023

Conversation

khaeru
Copy link
Member

@khaeru khaeru commented Oct 16, 2023

PR checklist

  • Continuous integration checks all ✅
  • Add or expand tests; coverage checks both ✅
  • Add, expand, or update documentation.
  • Update doc/whatsnew.

@khaeru khaeru self-assigned this Oct 16, 2023
@codecov
Copy link

codecov bot commented Oct 16, 2023

Codecov Report

Merging #132 (634b984) into main (1e98c1c) will increase coverage by 0.0%.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main    #132   +/-   ##
=====================================
  Coverage   70.6%   70.7%           
=====================================
  Files         80      80           
  Lines       5439    5439           
=====================================
+ Hits        3843    3848    +5     
+ Misses      1596    1591    -5     

see 2 files with indirect coverage changes

@khaeru khaeru merged commit c9f1638 into main Oct 16, 2023
20 checks passed
@khaeru khaeru deleted the release/2023.10.16 branch October 16, 2023 15:07
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.

1 participant