Skip to content

Conversation

@mohamed-barakat
Copy link
Member

No description provided.

@mohamed-barakat mohamed-barakat merged commit 70c9214 into homalg-project:master Jan 18, 2026
2 checks passed
@mohamed-barakat mohamed-barakat deleted the devel branch January 18, 2026 19:02
@codecov
Copy link

codecov bot commented Jan 18, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.16%. Comparing base (423f71f) to head (46d1b3a).
⚠️ Report is 3 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #56   +/-   ##
=======================================
  Coverage   98.16%   98.16%           
=======================================
  Files          16       16           
  Lines        1583     1583           
=======================================
  Hits         1554     1554           
  Misses         29       29           

☔ 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.

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.

1 participant