Skip to content

Try to improve check_spacetype error message#415

Merged
lkdvos merged 2 commits intomainfrom
ksh/spacetype_err
Apr 24, 2026
Merged

Try to improve check_spacetype error message#415
lkdvos merged 2 commits intomainfrom
ksh/spacetype_err

Conversation

@kshyatt
Copy link
Copy Markdown
Member

@kshyatt kshyatt commented Apr 24, 2026

It's annoying to get little information about what the incompatible space types actually are

It's annoying to get little information about what the incompatible space types actually are
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 24, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

Files with missing lines Coverage Δ
src/spaces/vectorspaces.jl 85.83% <100.00%> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Jutho
Jutho previously approved these changes Apr 24, 2026
Comment thread src/spaces/vectorspaces.jl Outdated
Co-authored-by: Lukas Devos <ldevos98@gmail.com>
@lkdvos
Copy link
Copy Markdown
Member

lkdvos commented Apr 24, 2026

Going to merge this as-is, no need to rerun the entire test suite for this.

@lkdvos lkdvos merged commit 9e821b8 into main Apr 24, 2026
59 of 69 checks passed
@lkdvos lkdvos deleted the ksh/spacetype_err branch April 24, 2026 13:36
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