Skip to content

Switch from old hashtable API to new API - #41

Merged
fingolfin merged 1 commit into
gap-packages:masterfrom
fingolfin:mh/hashtable-API
Jul 27, 2023
Merged

Switch from old hashtable API to new API#41
fingolfin merged 1 commit into
gap-packages:masterfrom
fingolfin:mh/hashtable-API

Conversation

@fingolfin

Copy link
Copy Markdown
Member

Resolves #27

See also discussion in PR #38

@codecov

codecov Bot commented Jul 27, 2023

Copy link
Copy Markdown

Codecov Report

Merging #41 (f96c82d) into master (115b07d) will decrease coverage by 0.03%.
Report is 4 commits behind head on master.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##           master      #41      +/-   ##
==========================================
- Coverage   47.62%   47.59%   -0.03%     
==========================================
  Files          34       34              
  Lines       17927    17912      -15     
==========================================
- Hits         8537     8526      -11     
+ Misses       9390     9386       -4     
Files Changed Coverage Δ
lib/group.gi 63.34% <0.00%> (-0.02%) ⬇️

... and 3 files with indirect coverage changes

@fingolfin
fingolfin merged commit fb58ba6 into gap-packages:master Jul 27, 2023
@fingolfin
fingolfin deleted the mh/hashtable-API branch July 27, 2023 11:25
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.

Stop using orb legacy APIs NewHT, AddHT, ValueHT

1 participant