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

Make showing cached bases more robust #161

Merged
merged 1 commit into from
Jul 7, 2023

Conversation

mateuszbaran
Copy link
Member

A tiny improvement. I've discovered this issue when working with new basis types. Having an error in printing is somewhat irritating so I think having a less informative text is still better.

@mateuszbaran mateuszbaran added the Ready-for-Review A label for pull requests that are feature-ready label Jul 7, 2023
@codecov
Copy link

codecov bot commented Jul 7, 2023

Codecov Report

Merging #161 (06516c4) into master (de79731) will decrease coverage by 0.12%.
The diff coverage is 100.00%.

❗ Current head 06516c4 differs from pull request most recent head 4c643a4. Consider uploading reports for the commit 4c643a4 to get more accurate results

@@            Coverage Diff             @@
##           master     #161      +/-   ##
==========================================
- Coverage   99.96%   99.84%   -0.12%     
==========================================
  Files          19       19              
  Lines        2537     2539       +2     
==========================================
- Hits         2536     2535       -1     
- Misses          1        4       +3     
Impacted Files Coverage Δ
src/bases.jl 100.00% <100.00%> (ø)

... and 1 file with indirect coverage changes

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

Copy link
Member

@kellertuer kellertuer left a comment

Choose a reason for hiding this comment

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

A bit hacked, but I see what you mean and agree with your ideas.

@mateuszbaran mateuszbaran merged commit 71f85b6 into master Jul 7, 2023
15 checks passed
@kellertuer kellertuer deleted the mbaran/printing-broken-cached-basis branch May 4, 2024 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Ready-for-Review A label for pull requests that are feature-ready
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants