Skip to content

Minor doc clarifications and code cleanups - #1218

Merged
jgabry merged 2 commits into
masterfrom
jarl-fixes
Jul 23, 2026
Merged

Minor doc clarifications and code cleanups #1218
jgabry merged 2 commits into
masterfrom
jarl-fixes

Conversation

@jgabry

@jgabry jgabry commented Jul 23, 2026

Copy link
Copy Markdown
Member

Submission Checklist

  • Run unit tests
  • Declare copyright holder and agree to license (see below)

Summary

Various tiny code cleanups and doc clarifications

Copyright and Licensing

Please list the copyright holder for the work you are submitting
(this will be you or your assignee, such as a university or company):
Jonah Gabry

By submitting this pull request, the copyright holder is agreeing to
license the submitted work under the following licenses:

@codecov-commenter

codecov-commenter commented Jul 23, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.79%. Comparing base (5f6e8c3) to head (24fec36).
⚠️ Report is 10 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1218      +/-   ##
==========================================
+ Coverage   91.69%   91.79%   +0.10%     
==========================================
  Files          15       15              
  Lines        6246     6250       +4     
==========================================
+ Hits         5727     5737      +10     
+ Misses        519      513       -6     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@jgabry
jgabry merged commit 4a3ddb8 into master Jul 23, 2026
24 of 27 checks passed
@jgabry
jgabry deleted the jarl-fixes branch July 23, 2026 21:25
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.

2 participants