Skip to content

Update CI.yml#222

Closed
schillic wants to merge 2 commits intoJuliaIntervals:masterfrom
schillic:patch-1
Closed

Update CI.yml#222
schillic wants to merge 2 commits intoJuliaIntervals:masterfrom
schillic:patch-1

Conversation

@schillic
Copy link
Copy Markdown
Contributor

@schillic schillic commented Apr 3, 2026

@codecov-commenter
Copy link
Copy Markdown

codecov-commenter commented Apr 3, 2026

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 48.07%. Comparing base (6b5a070) to head (f264482).
⚠️ Report is 2 commits behind head on master.
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #222      +/-   ##
==========================================
- Coverage   48.32%   48.07%   -0.25%     
==========================================
  Files           5        4       -1     
  Lines         209      208       -1     
==========================================
- Hits          101      100       -1     
  Misses        108      108              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@schillic
Copy link
Copy Markdown
Contributor Author

schillic commented Apr 3, 2026

I do not understand why that error (ArgumentError: `==` is purposely not supported when the intervals are overlapping. See instead `isequal_interval` ) pops up only in v1.10, but it will be fixed in #221.

@dpsanders
Copy link
Copy Markdown
Member

Thanks! I integrated into the other PR.
In the future, please feel free to comment on the PR with suggestions so that they can easily be integrated :)

@schillic schillic closed this Apr 3, 2026
@schillic schillic deleted the patch-1 branch April 4, 2026 07:04
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