Skip to content

[cap_project] Update CAP to 2026.05-06#1381

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

[cap_project] Update CAP to 2026.05-06#1381
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

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

gap-package-distribution-bot Bot commented May 20, 2026

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-05-20-19:37:33-e12e9479 vs master/2026-05-20-18:55:55-59d185e8

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

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

✔️ Packages still succeeding

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

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