Skip to content

[cap_project] Update CAP to 2026.05-05#1379

Merged
fingolfin merged 1 commit into
mainfrom
automatic/cap_project
May 20, 2026
Merged

[cap_project] Update CAP to 2026.05-05#1379
fingolfin merged 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 commented May 19, 2026

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

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

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-05-19-19:19:42-2e5132a1 vs master/2026-05-19-03:29:50-57bf5dda

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

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!

@gap-package-distribution-bot gap-package-distribution-bot Bot changed the title [cap_project] Update CAP to 2026.05-04 [cap_project] Update CAP to 2026.05-05 May 19, 2026
@fingolfin fingolfin merged commit 0ed59b7 into main May 20, 2026
171 checks passed
@fingolfin fingolfin deleted the automatic/cap_project branch May 20, 2026 11:42
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