Merge pull request #264 from zickgraf/master #923
mohamed-barakat
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
2 errors
|
test (ghcr.io/homalg-project/gap-docker:latest)
Process completed with exit code 2.
|
|
test (ghcr.io/homalg-project/gap-docker-master:latest)
Process completed with exit code 2.
|