Skip to content

Don't depend on GAPDoc for no reason - #37

Merged
fingolfin merged 1 commit into
masterfrom
mh/no-gapdoc
Aug 16, 2026
Merged

Don't depend on GAPDoc for no reason#37
fingolfin merged 1 commit into
masterfrom
mh/no-gapdoc

Conversation

@fingolfin

Copy link
Copy Markdown
Member

No description provided.

@codecov

codecov Bot commented Aug 16, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.42%. Comparing base (1443806) to head (a636473).

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #37   +/-   ##
=======================================
  Coverage   96.42%   96.42%           
=======================================
  Files           6        6           
  Lines         140      140           
=======================================
  Hits          135      135           
  Misses          5        5           

☔ View full report in Codecov by Harness.
📢 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.

@fingolfin
fingolfin merged commit ea072f7 into master Aug 16, 2026
6 checks passed
@fingolfin
fingolfin deleted the mh/no-gapdoc branch August 16, 2026 17:30
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