Skip to content

got rid of println in banner#107

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel
May 6, 2026
Merged

got rid of println in banner#107
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel

Conversation

@mohamed-barakat
Copy link
Copy Markdown
Member

No description provided.

@codecov
Copy link
Copy Markdown

codecov Bot commented May 6, 2026

Codecov Report

❌ Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 47.44%. Comparing base (64f0215) to head (523760d).
⚠️ Report is 7 commits behind head on master.

Files with missing lines Patch % Lines
src/CapAndHomalg.jl 0.00% 2 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master     #107   +/-   ##
=======================================
  Coverage   47.44%   47.44%           
=======================================
  Files           3        3           
  Lines         137      137           
=======================================
  Hits           65       65           
  Misses         72       72           

☔ 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 d22467e into homalg-project:master May 6, 2026
4 of 5 checks passed
@mohamed-barakat mohamed-barakat deleted the devel branch May 6, 2026 12:15
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