Skip to content

[help] Update to 4.1#1286

Merged
fingolfin merged 1 commit intomainfrom
automatic/help
Jan 10, 2026
Merged

[help] Update to 4.1#1286
fingolfin merged 1 commit intomainfrom
automatic/help

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 Jan 9, 2026
@gap-package-distribution-bot
Copy link
Copy Markdown
Contributor Author

gap-package-distribution-bot Bot commented Jan 9, 2026

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-01-10-16:40:11-66f6bc32 vs master/2026-01-10-16:26:50-32e54120

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

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

‼️ Detected package(s) failing only on current version. ‼️

❗ ❗ Packages now failing

1 package(s) failed tests only on the current version.

✔️ Packages still succeeding

162 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!

@fingolfin fingolfin merged commit 7ac3ac2 into main Jan 10, 2026
164 of 165 checks passed
@fingolfin fingolfin deleted the automatic/help branch January 10, 2026 16:24
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