Skip to content

Polish docs, fix a corner case#6

Merged
timholy merged 5 commits intomainfrom
teh/polish
Mar 7, 2026
Merged

Polish docs, fix a corner case#6
timholy merged 5 commits intomainfrom
teh/polish

Conversation

@timholy
Copy link
Member

@timholy timholy commented Mar 7, 2026

Also renames the *objective functions to include cover in the name.

timholy added 5 commits March 7, 2026 15:35
Sets the random seed before creation.
Also adds an auto-generation comment at the top of the file.
- Add examples
- Rename the objective functions to something more unique
- Improve explanation of iterative tightening
- Duplicate a note about the extension dependencies
@codecov
Copy link

codecov bot commented Mar 7, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (69ed90e) to head (0827e3e).
⚠️ Report is 6 commits behind head on main.

Additional details and impacted files
@@             Coverage Diff             @@
##             main        #6      +/-   ##
===========================================
+ Coverage   98.91%   100.00%   +1.08%     
===========================================
  Files           3         3              
  Lines         185       189       +4     
===========================================
+ Hits          183       189       +6     
+ Misses          2         0       -2     

☔ View full report in Codecov by Sentry.
📢 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.

@timholy timholy merged commit 32ca64b into main Mar 7, 2026
5 checks passed
@timholy timholy deleted the teh/polish branch March 7, 2026 21:49
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