Skip to content

Fix bugs in low-index-subgroup functions (trivial cases) - #209

Merged
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:fix-low-index-triv
Oct 6, 2026
Merged

fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:fix-low-index-triv

Conversation

@stertooy

@stertooy stertooy commented Oct 6, 2026

Copy link
Copy Markdown
Collaborator

Part of fixing #201, extracted from #202.

AI Disclosure: bugs discovered by GPT-6 Astra during a package audit.

@codecov

codecov Bot commented Oct 6, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 61.71%. Comparing base (9a15215) to head (48295ba).

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #209      +/-   ##
==========================================
+ Coverage   61.59%   61.71%   +0.12%     
==========================================
  Files          87       87              
  Lines       13010    13020      +10     
==========================================
+ Hits         8013     8035      +22     
+ Misses       4997     4985      -12     
Files with missing lines Coverage Δ
gap/pcpgrp/findex.gi 12.77% <100.00%> (+7.63%) ⬆️
gap/pcpgrp/nindex.gi 11.96% <100.00%> (+6.60%) ⬆️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@stertooy
stertooy force-pushed the fix-low-index-triv branch 2 times, most recently from 5641daf to 48295ba Compare October 6, 2026 20:54
@fingolfin
fingolfin merged commit 78e5417 into gap-packages:master Oct 6, 2026
5 checks passed
@stertooy
stertooy deleted the fix-low-index-triv branch October 8, 2026 15:30
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.

2 participants