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 missing _unwrap call in Dedent handler #1447

Merged
merged 1 commit into from
Sep 22, 2023

Conversation

fingolfin
Copy link
Member

Also clarify write_indent code, it is always called on an IOCustom instance

Also clarify write_indent code, it is always called on an IOCustom instance
@lgoettgens
Copy link
Collaborator

I have no idea how this code works and would thus leave the review to @thofma.

@codecov
Copy link

codecov bot commented Sep 19, 2023

Codecov Report

Merging #1447 (ab904a0) into master (f23ced5) will decrease coverage by 0.30%.
Report is 1 commits behind head on master.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #1447      +/-   ##
==========================================
- Coverage   84.60%   84.30%   -0.30%     
==========================================
  Files         109      110       +1     
  Lines       29370    29613     +243     
==========================================
+ Hits        24848    24965     +117     
- Misses       4522     4648     +126     
Files Changed Coverage Δ
src/PrettyPrinting.jl 92.54% <100.00%> (ø)

... and 10 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@thofma
Copy link
Member

thofma commented Sep 20, 2023

Looks good. Are the doctest failure on Oscar master expected? Just checking

@thofma thofma closed this Sep 20, 2023
@thofma thofma reopened this Sep 20, 2023
@thofma
Copy link
Member

thofma commented Sep 20, 2023

Ignore my last comment. I saw the Oscar issue.

@fingolfin fingolfin closed this Sep 22, 2023
@fingolfin fingolfin reopened this Sep 22, 2023
@fingolfin fingolfin enabled auto-merge (squash) September 22, 2023 11:26
@fingolfin fingolfin merged commit 65a1dce into Nemocas:master Sep 22, 2023
32 of 41 checks passed
@fingolfin fingolfin deleted the mh/fix-Dedent branch September 25, 2023 08:23
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.

3 participants