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.

Sign up for GitHub

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

Jump to bottom

Improve subgroup conjugacy of permutation groups #5514

Merged
merged 3 commits into from
Oct 11, 2023

Tons of busywork to please the !@#$% gaplint

98c9f99
Select commit
Loading
Failed to load commit list.
Merged

Improve subgroup conjugacy of permutation groups #5514

Tons of busywork to please the !@#$% gaplint
98c9f99
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 29, 2023 in 1s

87.73% of diff hit (target 82.49%)

View this Pull Request on Codecov

87.73% of diff hit (target 82.49%)

Annotations

Check warning on line 3246 in lib/grplatt.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/grplatt.gi#L3243-L3246 

Added lines #L3243 - L3246 were not covered by tests

Check warning on line 3252 in lib/grplatt.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/grplatt.gi#L3249-L3252 

Added lines #L3249 - L3252 were not covered by tests

Check warning on line 3279 in lib/grplatt.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/grplatt.gi#L3279 

Added line #L3279 was not covered by tests

Check warning on line 200 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L200 

Added line #L200 was not covered by tests

Check warning on line 210 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L210 

Added line #L210 was not covered by tests

Check warning on line 222 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L222 

Added line #L222 was not covered by tests

Check warning on line 436 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L421-L436 

Added lines #L421 - L436 were not covered by tests

Check warning on line 475 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L475 

Added line #L475 was not covered by tests

Check warning on line 489 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L488-L489 

Added lines #L488 - L489 were not covered by tests

Check warning on line 491 in lib/oprtglat.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtglat.gi#L491 

Added line #L491 was not covered by tests

Check warning on line 1383 in lib/oprtperm.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtperm.gi#L1382-L1383 

Added lines #L1382 - L1383 were not covered by tests

Check warning on line 1389 in lib/oprtperm.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/oprtperm.gi#L1385-L1389 

Added lines #L1385 - L1389 were not covered by tests
View more details on Codecov