Adapt to https://github.com/coq/coq/pull/19530 #1787
Triggered via pull request
October 2, 2024 11:23
Status
Cancelled
Total duration
13m 36s
Artifacts
–
Annotations
4 errors and 4 warnings