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

add two missing doctest end markers #4321

Merged
merged 1 commit into from
Nov 15, 2024
Merged

add two missing doctest end markers #4321

merged 1 commit into from
Nov 15, 2024

Conversation

benlorenz
Copy link
Member

@benlorenz benlorenz commented Nov 15, 2024

Reminded by #4202 (comment) I ran my script from #2083 (comment) again and found two unterminated doctests.

Maybe I should add this to CI at some point.

Copy link
Member

@lgoettgens lgoettgens left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I missed one today as well (x-ref d95ac6f#diff-e7d341431dafa7950e2a01a4f03f5e87dc3d543c19a28c9fcb4a0c087f30a21fR53), so I would love to have some automatic testing for this (and maybe do another one for !!! warn instead of !!! warning)

@fingolfin
Copy link
Member

A CI test for this would indeed be nice.

That said, I am kinda surprised Documenter or Markdown don't complain about this. Perhaps they should? we could request it...

Copy link

codecov bot commented Nov 15, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.50%. Comparing base (fb767f2) to head (fa566af).
Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #4321   +/-   ##
=======================================
  Coverage   84.49%   84.50%           
=======================================
  Files         645      645           
  Lines       85589    85589           
=======================================
+ Hits        72321    72323    +2     
+ Misses      13268    13266    -2     
Files with missing lines Coverage Δ
experimental/SetPartitions/src/SetPartition.jl 100.00% <ø> (ø)
src/Groups/pcgroup.jl 77.35% <ø> (+1.25%) ⬆️

@fingolfin fingolfin merged commit 56c8f1f into master Nov 15, 2024
30 checks passed
@fingolfin fingolfin deleted the bl/doctestmarkers branch November 15, 2024 16:35
@lgoettgens lgoettgens mentioned this pull request Nov 18, 2024
benlorenz added a commit that referenced this pull request Nov 18, 2024
(cherry picked from commit 56c8f1f)
@benlorenz benlorenz mentioned this pull request Nov 18, 2024
1 task
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.

4 participants