Skip to content

Add type representation for U₁ and CU₁ - #32

Merged
Jutho merged 1 commit into
mainfrom
ld-type-repr
Oct 9, 2025
Merged

Add type representation for U₁ and CU₁#32
Jutho merged 1 commit into
mainfrom
ld-type-repr

Conversation

@lkdvos

@lkdvos lkdvos commented Oct 8, 2025

Copy link
Copy Markdown
Member

These seem to have been missing for some reason.

@codecov

codecov Bot commented Oct 8, 2025

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

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

@Jutho

Jutho commented Oct 9, 2025

Copy link
Copy Markdown
Member

Tests look weirds, and there seems to be a problem with compiling JET on Julia 1, which I am going to ignore.

@Jutho
Jutho merged commit d90f92b into main Oct 9, 2025
5 of 8 checks passed
@Jutho
Jutho deleted the ld-type-repr branch October 9, 2025 07:20
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