Skip to content

[singular] Update to 2026.04.09#1316

Merged
fingolfin merged 1 commit intomainfrom
automatic/singular
Apr 10, 2026
Merged

[singular] Update to 2026.04.09#1316
fingolfin merged 1 commit intomainfrom
automatic/singular

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

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-04-09-23:08:17-f13cfc51 vs master/2026-04-09-22:37:06-ca581314

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

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

✔️ ✔️ Packages now succeeding

1 package(s) succeeded tests only on the current version.

✔️ Packages still succeeding

163 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 merged commit d53882f into main Apr 10, 2026
168 checks passed
@fingolfin fingolfin deleted the automatic/singular branch April 10, 2026 05:14
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