Skip to content

CI: enable coverage tracking in generated gap.sh#1344

Draft
fingolfin wants to merge 2 commits intomasterfrom
mh/track-coverage-in-JuliaExperimental-better
Draft

CI: enable coverage tracking in generated gap.sh#1344
fingolfin wants to merge 2 commits intomasterfrom
mh/track-coverage-in-JuliaExperimental-better

Conversation

@fingolfin
Copy link
Copy Markdown
Member

... so that we also see code coverage for the Julia code in JuliaExperimental.

At least that's the theory. Let's see if it works out.

@codecov
Copy link
Copy Markdown

codecov Bot commented Feb 2, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.16%. Comparing base (5f9a8d6) to head (bc9be38).
⚠️ Report is 4 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1344      +/-   ##
==========================================
+ Coverage   80.90%   81.16%   +0.25%     
==========================================
  Files          61       62       +1     
  Lines        4903     4974      +71     
==========================================
+ Hits         3967     4037      +70     
- Misses        936      937       +1     
Files with missing lines Coverage Δ
src/setup.jl 97.63% <100.00%> (ø)

... and 2 files with indirect coverage changes

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

@fingolfin
Copy link
Copy Markdown
Member Author

Nope, that's not it or at least that's not enough. Trying some more stuff...

@fingolfin fingolfin force-pushed the mh/track-coverage-in-JuliaExperimental-better branch from df42358 to 595a582 Compare February 9, 2026 14:41
... so that we also see code coverage for the Julia code in
JuliaExperimental.
@fingolfin fingolfin force-pushed the mh/track-coverage-in-JuliaExperimental-better branch from 595a582 to bc9be38 Compare February 25, 2026 13:21
@fingolfin fingolfin closed this Mar 24, 2026
@fingolfin fingolfin reopened this Mar 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant