Skip to content

fix typo in show(::GradedSpace) - #308

Merged
Jutho merged 5 commits into
mainfrom
ld-show2
Oct 30, 2025
Merged

fix typo in show(::GradedSpace)#308
Jutho merged 5 commits into
mainfrom
ld-show2

Conversation

@lkdvos

@lkdvos lkdvos commented Oct 29, 2025

Copy link
Copy Markdown
Member

Will try and add some tests to avoid issues like this in the future.

@lkdvos
lkdvos marked this pull request as draft October 29, 2025 17:57
@codecov

codecov Bot commented Oct 29, 2025

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

Files with missing lines Coverage Δ
src/spaces/gradedspace.jl 91.92% <100.00%> (+8.07%) ⬆️
src/spaces/homspace.jl 94.57% <100.00%> (+0.03%) ⬆️
src/spaces/productspace.jl 88.80% <100.00%> (+0.08%) ⬆️
src/tensors/abstracttensor.jl 54.18% <100.00%> (+0.22%) ⬆️
src/tensors/tensor.jl 87.75% <100.00%> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@Jutho

Jutho commented Oct 29, 2025

Copy link
Copy Markdown
Member

Ok this is bad (I should also have seen that). Can you immediately add a patch version bump to this and tag it?

Jutho
Jutho previously approved these changes Oct 29, 2025
@lkdvos
lkdvos marked this pull request as ready for review October 30, 2025 00:54
@lkdvos
lkdvos enabled auto-merge (squash) October 30, 2025 00:55
@lkdvos
lkdvos requested a review from Jutho October 30, 2025 00:55
@Jutho
Jutho disabled auto-merge October 30, 2025 08:16
@Jutho
Jutho merged commit bbeb8e5 into main Oct 30, 2025
38 of 43 checks passed
@Jutho
Jutho deleted the ld-show2 branch October 30, 2025 08:17
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