Skip to content

Conversation

gap-package-distribution-bot[bot]
Copy link
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 Sep 5, 2024
Copy link
Contributor Author

gap-package-distribution-bot bot commented Sep 5, 2024

Package Evaluation Report for GAP master

Job Properties

Testing: master/2024-09-06-12:35:36-e9de4616 vs master/2024-09-06-02:40:54-1c73e42a

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

In total, 161 packages were tested, out of which 157 succeeded, 0 failed and 4 were skipped.

✔️ ✔️ Packages now succeeding

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

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

@fingolfin fingolfin merged commit 40bc3d6 into main Sep 6, 2024
161 checks passed
@fingolfin fingolfin deleted the automatic/io branch September 6, 2024 14:36
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