Skip to content

Merge pull request #615 from mohamed-barakat/TerminalCategoryWithMult… #2495

Merge pull request #615 from mohamed-barakat/TerminalCategoryWithMult…

Merge pull request #615 from mohamed-barakat/TerminalCategoryWithMult… #2495

Annotations

1 warning

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

succeeded Jan 2, 2025 in 1h 36m 54s