Skip to content

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

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

Annotations

1 error and 1 warning

test (1.11-nightly, ubuntu-latest)

failed Apr 17, 2024 in 3m 3s