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.

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

add the library of groups with at most 14 conjugacy classes #4409

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

ThomasBreuer
Copy link
Member

No description provided.

@ThomasBreuer ThomasBreuer added topic: groups enhancement New feature or request labels Dec 19, 2024
@ThomasBreuer
Copy link
Member Author

When running bibtool docs/oscar_references.bib -o docs/oscar_references.bib locally, I get
*** BibTool ERROR: Resource check.error.rule unknown. three times.
Apparently the CI tests do not have this problem.

Copy link

codecov bot commented Dec 19, 2024

Codecov Report

Attention: Patch coverage is 96.15385% with 1 line in your changes missing coverage. Please review.

Project coverage is 84.40%. Comparing base (409d74e) to head (9905f6e).

Files with missing lines Patch % Lines
src/Groups/libraries/fewclassesgroups.jl 96.15% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master    #4409   +/-   ##
=======================================
  Coverage   84.40%   84.40%           
=======================================
  Files         656      657    +1     
  Lines       87274    87300   +26     
=======================================
+ Hits        73666    73688   +22     
- Misses      13608    13612    +4     
Files with missing lines Coverage Δ
src/Groups/libraries/libraries.jl 96.07% <ø> (ø)
src/Groups/libraries/transitivegroups.jl 100.00% <ø> (ø)
src/Groups/libraries/fewclassesgroups.jl 96.15% <96.15%> (ø)

... and 2 files with indirect coverage changes

@fingolfin
Copy link
Member

@ThomasBreuer huh, weird. Which version do you have (run bibtool -h to find out)? The latest is 2.68 from 2020, so I would assume we all use that...

@ThomasBreuer
Copy link
Member Author

Thanks for the hint.
I had bibtool version 2.67. With version 2.68, the messages disappear.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request topic: groups
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants