Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump GAP.jl to 0.13 #4421

Merged
merged 2 commits into from
Jan 14, 2025

Adjust loading / installation of GAP packages

0e1a41f
Select commit
Loading
Failed to load commit list.
Merged

Bump GAP.jl to 0.13 #4421

Adjust loading / installation of GAP packages
0e1a41f
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jan 14, 2025 in 1s

84.41% (+0.00%) compared to 9627744

View this Pull Request on Codecov

84.41% (+0.00%) compared to 9627744

Details

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.41%. Comparing base (9627744) to head (0e1a41f).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #4421   +/-   ##
=======================================
  Coverage   84.41%   84.41%           
=======================================
  Files         668      668           
  Lines       88598    88590    -8     
=======================================
- Hits        74786    74780    -6     
+ Misses      13812    13810    -2     
Files with missing lines Coverage Δ
src/Oscar.jl 66.21% <ø> (-3.30%) ⬇️

... and 1 file with indirect coverage changes