Skip to content

[homalg_project] Updates for several packages#1278

Merged
fingolfin merged 1 commit intomainfrom
automatic/homalg_project
Dec 30, 2025
Merged

[homalg_project] Updates for several packages#1278
fingolfin merged 1 commit intomainfrom
automatic/homalg_project

Conversation

@gap-package-distribution-bot
Copy link
Copy Markdown
Contributor

@gap-package-distribution-bot gap-package-distribution-bot Bot added automated pr Automatically applied to PRs created by a GH workflow package update labels Dec 23, 2025
@gap-package-distribution-bot
Copy link
Copy Markdown
Contributor Author

gap-package-distribution-bot Bot commented Dec 26, 2025

Package Evaluation Report for GAP master

Job Properties

Testing: master/2025-12-30-15:08:01-032eac0c vs master/2025-12-30-03:00:53-d1512d41

Generated by Workflow: https://github.com/gap-system/PackageDistro/actions/runs/20562662684

In total, 166 packages were tested, out of which 163 succeeded, 0 failed and 3 were skipped.

✔️ Packages still succeeding

163 package(s) succeeded tests also on the previous version.

Click to show packages!

➖ Packages that were skipped

3 package(s) skipped tests also on the previous version.

Click to show packages!

@gap-package-distribution-bot gap-package-distribution-bot Bot force-pushed the automatic/homalg_project branch 4 times, most recently from a85d4d6 to 96e934f Compare December 29, 2025 00:44
@fingolfin fingolfin merged commit de11d7d into main Dec 30, 2025
333 of 334 checks passed
@fingolfin fingolfin deleted the automatic/homalg_project branch December 30, 2025 16:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated pr Automatically applied to PRs created by a GH workflow package update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant