Skip to content

Avoid use of GAP namespace features#7

Merged
fingolfin merged 1 commit intomasterfrom
mh/no-namespaces
Sep 23, 2025
Merged

Avoid use of GAP namespace features#7
fingolfin merged 1 commit intomasterfrom
mh/no-namespaces

Conversation

@fingolfin
Copy link
Member

No description provided.

@codecov
Copy link

codecov bot commented Sep 23, 2025

Codecov Report

❌ Patch coverage is 75.00000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 31.97%. Comparing base (162e017) to head (a6e2b07).
⚠️ Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
lib/ReducedStartsets.gi 0.00% 1 Missing ⚠️
Additional details and impacted files
@@ Coverage Diff @@ ## master #7 +/- ## ======================================= Coverage 31.97% 31.97% ======================================= Files 19 19 Lines 3825 3825 ======================================= Hits 1223 1223 Misses 2602 2602 
Files with missing lines Coverage Δ
lib/plane_isomorphisms.gd 100.00% <100.00%> (ø)
lib/plane_isomorphisms.gi 11.12% <100.00%> (ø)
lib/sigs.gd 100.00% <100.00%> (ø)
lib/sigs.gi 13.68% <ø> (ø)
lib/ReducedStartsets.gi 12.94% <0.00%> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
@fingolfin fingolfin merged commit 07acdbc into master Sep 23, 2025
9 checks passed
@fingolfin fingolfin deleted the mh/no-namespaces branch September 23, 2025 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant