Skip to content

Add permutation_character(G::GAPGroup, H::GAPGroup)#5055

Merged
fingolfin merged 1 commit intooscar-system:masterfrom
ThomasBreuer:TB_permutation_character
Jul 2, 2025
Merged

Add permutation_character(G::GAPGroup, H::GAPGroup)#5055
fingolfin merged 1 commit intooscar-system:masterfrom
ThomasBreuer:TB_permutation_character

Conversation

@ThomasBreuer
Copy link
Copy Markdown
Member

No description provided.

@ThomasBreuer ThomasBreuer added enhancement New feature or request topic: groups release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Jul 2, 2025
@ThomasBreuer ThomasBreuer requested a review from fieker July 2, 2025 12:45
@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 2, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.89%. Comparing base (e5cef2e) to head (419a5e7).
Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5055   +/-   ##
=======================================
  Coverage   84.88%   84.89%           
=======================================
  Files         707      707           
  Lines       95344    95349    +5     
=======================================
+ Hits        80933    80946   +13     
+ Misses      14411    14403    -8     
Files with missing lines Coverage Δ
src/GAP/wrappers.jl 95.38% <100.00%> (+0.01%) ⬆️
src/Groups/group_characters.jl 97.08% <100.00%> (+0.01%) ⬆️

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@fingolfin fingolfin merged commit 8c41db5 into oscar-system:master Jul 2, 2025
38 of 39 checks passed
@ThomasBreuer ThomasBreuer deleted the TB_permutation_character branch July 2, 2025 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: groups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants