Closed gap-package-distribution-bot[bot] closed 9 months ago
master
Testing: master/2024-01-20-09:03:07-9b741465 vs master/2024-01-20-02:44:15-90c00533
Generated by Workflow: https://github.com/gap-system/PackageDistro/actions/runs/7593260925
In total, 157 packages were tested, out of which 153 succeeded, 0 failed and 4 were skipped.
152 package(s) succeeded tests also on the previous version.
4 package(s) skipped tests also on the previous version.
@LeonidPryadko great, now it works :-)
@LeonidPryadko oh no, apologies, my mistake, I misread: it still says "failure", due to the issue describe at https://github.com/QEC-pages/QDistRnd/issues/36#issuecomment-1893258753
Success! Finally :-)
PackageInfo.g
] [README
] [website] [source archive]