Skip to content

[lpres] Update to 1.1.2#1383

Merged
fingolfin merged 1 commit into
mainfrom
automatic/lpres
May 22, 2026
Merged

[lpres] Update to 1.1.2#1383
fingolfin merged 1 commit into
mainfrom
automatic/lpres

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

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

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-05-22-11:38:39-f801165a vs master/2026-05-22-03:29:38-59d185e8

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

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!

@fingolfin fingolfin enabled auto-merge (squash) May 22, 2026 11:34
@fingolfin fingolfin merged commit 6634452 into main May 22, 2026
340 of 342 checks passed
@fingolfin fingolfin deleted the automatic/lpres branch May 22, 2026 11:38
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