Skip to content
OscarCI

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

Sign in to view logs

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

Annotations

2 errors

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

[Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
cancelled Apr 17, 2024 in 13m 11s