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

Adjust to jl_boundp change in Julia nightly #1024

Merged
merged 1 commit into from
Aug 21, 2024

Conversation

fingolfin
Copy link
Member

Companion to gap-system/gap#5767

Copy link

codecov bot commented Jul 29, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 76.82%. Comparing base (48061b6) to head (ff0d94a).
Report is 3 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1024      +/-   ##
==========================================
+ Coverage   75.77%   76.82%   +1.05%     
==========================================
  Files          51       51              
  Lines        4182     4182              
==========================================
+ Hits         3169     3213      +44     
+ Misses       1013      969      -44     

see 2 files with indirect coverage changes

@fingolfin fingolfin closed this Aug 21, 2024
@fingolfin fingolfin reopened this Aug 21, 2024
@fingolfin fingolfin merged commit aafaa2e into oscar-system:master Aug 21, 2024
37 of 44 checks passed
@fingolfin fingolfin deleted the mh/julia-jl_boundp branch August 21, 2024 13:28
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