Skip to content

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

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 #2295

Annotations

1 warning

test (1.9, ubuntu-latest)

succeeded Apr 17, 2024 in 9m 39s