Skip to content

Recorder improvements - #89

Merged
frankier merged 17 commits into
mainfrom
recorder-improvements
Sep 16, 2026
Merged

frankier merged 17 commits into
mainfrom
recorder-improvements

Conversation

@frankier

Copy link
Copy Markdown
Member

No description provided.

@coveralls

coveralls commented Sep 14, 2026 •

Copy link
Copy Markdown
Collaborator

Coverage Report for CI Build 35136078207

Warning

No base build found for commit 7f65bd2 on main.
Coverage changes can't be calculated without a base build.
If a base build is processing, this comment will update automatically when it completes.

Coverage: 33.877%

Details

  • Patch coverage: 25 uncovered changes across 2 files (0 of 25 lines covered, 0.0%).

Uncovered Changes

File Changed Covered %
src/Comparison/Comparison.jl 24 0 0.0%
src/Comparison/watchdog.jl 1 0 0.0%

Coverage Regressions

Requires a base build to compare against. How to fix this →


Coverage Stats

Coverage Status
Relevant Lines: 1901
Covered Lines: 644
Line Coverage: 33.88%
Coverage Strength: 3380.78 hits per line

💛 - Coveralls

@frankier
frankier merged commit 88c66ae into main Sep 16, 2026
3 of 4 checks passed
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