Skip to content

[cap_project] Update GeneralizedMorphismsForCAP to 2026.10-02 - #1600

Open
gap-package-distribution-bot[bot] wants to merge 1 commit into
mainfrom
automatic/cap_project
Open

gap-package-distribution-bot[bot] wants to merge 1 commit into
mainfrom
automatic/cap_project

Conversation

@gap-package-distribution-bot

Copy link
Copy Markdown
Contributor

Auto-merge

This pull request may be auto-merged after all required checks pass.
To prevent this pull request from being auto-merged, leave a comment.
To comment without blocking auto-merge, include [noblock] in the comment.

@gap-package-distribution-bot gap-package-distribution-bot Bot added automated pr Automatically applied to PRs created by a GH workflow package update labels Oct 27, 2026
@gap-package-distribution-bot

Copy link
Copy Markdown
Contributor Author

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026/10/27_15-27-40 vs master/2026/10/27_02-45-21

Distribution revision: 4e2372cd

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

In total, 173 packages were tested, out of which 165 succeeded, 4 failed and 4 were skipped.

✖️ ✖️ Packages that now skipped

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

❗ Packages still failing

4 package(s) failed tests also on the previous version.

Click to show packages!

✔️ Packages still succeeding

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

This branch has not been deployed

No deployments
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.

0 participants