Adapt to https://github.com/coq/coq/pull/18590 #3771
Triggered via pull request
February 16, 2024 01:39
JasonGross
Status
Success
Total duration
37m 23s
Artifacts
–