Skip to content

[smallantimagmas] Update to 0.6.0#1431

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

[smallantimagmas] Update to 0.6.0#1431
gap-package-distribution-bot[bot] wants to merge 1 commit into
mainfrom
automatic/smallantimagmas

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 Jul 5, 2026
@gap-package-distribution-bot

Copy link
Copy Markdown
Contributor Author

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-07-05-19:03:10-bc683a82 vs master/2026-07-05-03:33:30-e9693916

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

In total, 172 packages were tested, out of which 166 succeeded, 3 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 failing

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

✔️ 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