Closed gap-package-distribution-bot[bot] closed 1 year ago
master
Testing: master/2023-07-14-12:48:51-dfd24b11 vs master/2023-07-14-12:33:16-80a188b3
Generated by Workflow: https://github.com/gap-system/PackageDistro/actions/runs/5553924833
In total, 155 packages were tested, out of which 151 succeeded, 0 failed and 4 were skipped.
151 package(s) succeeded tests also on the previous version.
4 package(s) skipped tests also on the previous version.
PackageInfo.g
] [README
] [website] [source archive]PackageInfo.g
] [README
] [website] [source archive]