Skip to content

Conversation

gap-package-distribution-bot[bot]
Copy link
Contributor

@gap-package-distribution-bot gap-package-distribution-bot bot commented Jul 1, 2025

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

gap-package-distribution-bot bot commented Jul 1, 2025

Package Evaluation Report for GAP master

Job Properties

Testing: master/2025-07-03-08:48:43-b57f0532 vs master/2025-07-03-03:07:56-1db60481

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

In total, 163 packages were tested, out of which 155 succeeded, 4 failed and 4 were skipped.

❗ Packages still failing

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

Click to show packages!

✔️ Packages still succeeding

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

Click to show packages!

➖ Packages that were skipped

4 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/cap_project branch 2 times, most recently from 3c0333f to 0c9db72 Compare July 3, 2025 07:10
@fingolfin fingolfin merged commit 299a476 into main Jul 7, 2025
159 of 163 checks passed
@fingolfin fingolfin deleted the automatic/cap_project branch July 7, 2025 13:47
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