Skip to content

Conversation

@fingolfin
Copy link
Member

Fixes part of issue #823.

@fingolfin fingolfin added the kind: bug Issues describing general bugs, and PRs fixing them label Mar 27, 2018
@codecov
Copy link

codecov bot commented Mar 27, 2018

Codecov Report

Merging #2315 into master will increase coverage by 0.15%.
The diff coverage is 100%.

@@            Coverage Diff             @@
##           master    #2315      +/-   ##
==========================================
+ Coverage   72.17%   72.33%   +0.15%     
==========================================
  Files         479      479              
  Lines      250960   250963       +3     
==========================================
+ Hits       181140   181537     +397     
+ Misses      69820    69426     -394
Impacted Files Coverage Δ
lib/float.gi 31.86% <100%> (+0.37%) ⬆️
hpcgap/lib/hpc/queue.g 66.4% <0%> (-3.2%) ⬇️
src/objset.c 81.27% <0%> (-0.23%) ⬇️
src/gap.c 80.29% <0%> (-0.09%) ⬇️
lib/grp.gi 85.47% <0%> (+0.07%) ⬆️
hpcgap/lib/hpc/stdtasks.g 38.87% <0%> (+0.25%) ⬆️
lib/mat8bit.gi 67.32% <0%> (+0.99%) ⬆️
src/macfloat.c 80.48% <0%> (+1.21%) ⬆️
src/vec8bit.c 83.25% <0%> (+4.7%) ⬆️
src/vecgf2.c 71.78% <0%> (+7.78%) ⬆️
... and 1 more

@fingolfin fingolfin merged commit b9b24ad into gap-system:master Mar 28, 2018
@fingolfin fingolfin deleted the mh/no-float-groups branch March 28, 2018 07:56
@fingolfin fingolfin added the release notes: added PRs introducing changes that have since been mentioned in the release notes label Mar 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: bug Issues describing general bugs, and PRs fixing them release notes: added PRs introducing changes that have since been mentioned in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants