Skip to content

updated compat#67

Merged
mohamed-barakat merged 1 commit into
homalg-project:mainfrom
mohamed-barakat:devel
Apr 12, 2026
Merged

updated compat#67
mohamed-barakat merged 1 commit into
homalg-project:mainfrom
mohamed-barakat:devel

Conversation

@mohamed-barakat

Copy link
Copy Markdown
Member

No description provided.

@codecov

codecov Bot commented Apr 12, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (71a81ce) to head (6aa6cec).
⚠️ Report is 11 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff            @@
##              main       #67   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            1         1           
  Lines          184       184           
=========================================
  Hits           184       184           

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

@mohamed-barakat mohamed-barakat merged commit a6e9b67 into homalg-project:main Apr 12, 2026
7 checks passed
@mohamed-barakat mohamed-barakat deleted the devel branch April 12, 2026 17:33
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