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

[1.1] booktests: merge updates from book repo #4220

Draft
wants to merge 6 commits into
base: release-1.1
Choose a base branch
from

Conversation

benlorenz
Copy link
Member

Cherry-picked from #4205, including related changes.

benlorenz and others added 6 commits October 18, 2024 17:44
(cherry picked from commit ec05d52)
(cherry picked from commit bc1e2ca)
(cherry picked from commit 7445d23)
(cherry picked from commit a8566076fbef1c059ca3b3c814a9a8cc247ab83f)
@benlorenz benlorenz added the don't squash! do not squash the commits when merging label Oct 18, 2024
Copy link

codecov bot commented Oct 18, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 83.78%. Comparing base (27ec7aa) to head (fe1fd4c).

Additional details and impacted files
@@             Coverage Diff              @@
##           release-1.1    #4220   +/-   ##
============================================
  Coverage        83.78%   83.78%           
============================================
  Files              581      581           
  Lines            80220    80220           
============================================
  Hits             67211    67211           
  Misses           13009    13009           

@lgoettgens lgoettgens added the oscar book PRs necessary for the Oscar book label Oct 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
don't squash! do not squash the commits when merging oscar book PRs necessary for the Oscar book
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants