Closed gap-package-distribution-bot[bot] closed 1 year ago
master
Testing: master/2023-10-20-00:09:40-6e103bc8 vs master/2023-10-19-02:49:23-9f3b20b9
Generated by Workflow: https://github.com/gap-system/PackageDistro/actions/runs/6581223617
In total, 156 packages were tested, out of which 151 succeeded, 1 failed and 4 were skipped.
1 package(s) failed tests also on the previous version.
151 package(s) succeeded tests also on the previous version.
4 package(s) skipped tests also on the previous version.
@zickgraf tests for CAP itself fail :-(
This seems to be due to https://github.com/homalg-project/CAP_project/pull/1492, ping @TKuh @mohamed-barakat
This seems to be due to homalg-project/CAP_project#1492, ping @TKuh @mohamed-barakat
That PR was missing version bumps. I did not catch that before merging. My mistake.
PackageInfo.g
] [README
] [website] [source archive]PackageInfo.g
] [README
] [website] [source archive]PackageInfo.g
] [README
] [website] [source archive]