Skip to content

Update PackageInfo.g and CI suite#37

Merged
ZachNewbery merged 1 commit intogap-packages:mainfrom
stertooy:update-ci
Apr 24, 2026
Merged

Update PackageInfo.g and CI suite#37
ZachNewbery merged 1 commit intogap-packages:mainfrom
stertooy:update-ci

Conversation

@stertooy
Copy link
Copy Markdown
Contributor

This PR updates all actions used in the CI workflow to the latest version, and makes use of the new Dependencies.NeededSystemPackages field in PackageInfo.g to simplify the CI workflow(s).

Remarks:

  • PackageInfo.g claims compatibility with GAP 4.11, but does not test this. Is this intended?
  • I changed the dependencies from graphviz texlive preview-latex-style dot2tex to dot2tex preview-latex-style texlive-pictures. I removed graphviz because it is a dependency of dot2tex anyway. I added texlive-pictures since this was missing (it is only recommended by dot2tex, not needed, and in CI tests we often install packages using --no-install-recommends). Finally I removed texlive, since this doesn't seem to be needed at all.

@codecov
Copy link
Copy Markdown

codecov Bot commented Mar 31, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.02%. Comparing base (ef849bd) to head (1d9e17b).
⚠️ Report is 17 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main      #37      +/-   ##
==========================================
- Coverage   87.86%   87.02%   -0.84%     
==========================================
  Files          12       12              
  Lines         890      848      -42     
==========================================
- Hits          782      738      -44     
- Misses        108      110       +2     

see 6 files with indirect coverage changes

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

Comment thread PackageInfo.g
@fingolfin
Copy link
Copy Markdown
Member

@ZachNewbery hi there, are you still interested in maintaining this package? If so it'd be great

If not, or if you are low on time and need help, perhaps @olexandr-konovalov could become (a co-)maintainer? Or perhaps you'd like to add "The GAP Team" as a co-maintainer?

@ZachNewbery
Copy link
Copy Markdown
Collaborator

Hey @fingolfin yeah running quite low on time these days with launches, I'll add The GAP team and Oleksandr as co-maintainers.

@ZachNewbery ZachNewbery merged commit 1e8a39a into gap-packages:main Apr 24, 2026
7 checks passed
@olexandr-konovalov
Copy link
Copy Markdown
Member

Thanks @fingolfin @ZachNewbery happy to be added!

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.

4 participants