Skip to content

[permut] Update to 2.0.7 - #1513

Merged
fingolfin merged 1 commit into
mainfrom
automatic/permut
Aug 13, 2026
Merged

[permut] Update to 2.0.7#1513
fingolfin merged 1 commit into
mainfrom
automatic/permut

Conversation

@gap-package-distribution-bot

@gap-package-distribution-bot gap-package-distribution-bot Bot commented Aug 11, 2026

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 Aug 11, 2026
@gap-package-distribution-bot

gap-package-distribution-bot Bot commented Aug 11, 2026

Copy link
Copy Markdown
Contributor Author

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026/08/13_11-05-14 vs master/2026/08/13_10-39-56

Distribution revision: 8bb92e1b

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

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

✔️ Packages still succeeding

169 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 force-pushed the automatic/permut branch 3 times, most recently from f79a7c6 to b551475 Compare August 13, 2026 10:07
@fingolfin
fingolfin merged commit fcdf450 into main Aug 13, 2026
174 checks passed
@fingolfin
fingolfin deleted the automatic/permut branch August 13, 2026 23:05
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