Adapt to https://github.com/coq/coq/pull/19530 #1399
Triggered via pull request
September 17, 2024 15:33
proux01
Status
Success
Total duration
1h 54m 23s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
coq-check-all
0s