Skip to content

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ #75

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ #75

Annotations

1 warning

[Singular]#release - ubuntu-latest, julia ~1.6.0-0

succeeded Apr 22, 2024 in 3m 42s