moving "is_integrally_closed" to the category setup. #16497
Triggered via pull request
November 16, 2024 12:52
fchapoton
Status
Success
Total duration
2h 24m 26s
Artifacts
–