Skip to content

Merge pull request #1710 from mohamed-barakat/missing_getter_precondi… #4957

Merge pull request #1710 from mohamed-barakat/missing_getter_precondi…

Merge pull request #1710 from mohamed-barakat/missing_getter_precondi… #4957

Annotations

1 warning

test (ghcr.io/homalg-project/gap-docker-master:latest)

succeeded Dec 7, 2024 in 1h 6m 32s