Skip to content

Fix ref to Ciphertext - #134

Merged
Tom-Finke merged 1 commit into
mainfrom
Tom-Finke-patch-1
Sep 3, 2026
Merged

Tom-Finke merged 1 commit into
mainfrom
Tom-Finke-patch-1

Conversation

@Tom-Finke

Copy link
Copy Markdown
Collaborator

See #133

@Tom-Finke

Copy link
Copy Markdown
Collaborator Author

@sloede please review. After this is merged, #133 can be rebased and the build-docs should then pass.

@Tom-Finke
Tom-Finke requested a review from sloede September 2, 2026 07:40
@codecov

codecov Bot commented Sep 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

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

@coveralls

coveralls commented Sep 2, 2026 •

Copy link
Copy Markdown

Coverage Report for CI Build 33604528889

Coverage remained the same at 100.0%

Details

  • Coverage remained the same as the base build.
  • Patch coverage: No coverable lines changed in this PR.
  • No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.


Coverage Stats

Coverage Status
Relevant Lines: 43
Covered Lines: 43
Line Coverage: 100.0%
Coverage Strength: 222.14 hits per line

💛 - Coveralls

@sloede sloede left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM!

@Tom-Finke
Tom-Finke merged commit c01df13 into main Sep 3, 2026
11 checks passed
@Tom-Finke
Tom-Finke deleted the Tom-Finke-patch-1 branch September 3, 2026 07:29
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