Adapt to https://github.com/coq/coq/pull/19530 #714
Triggered via pull request
September 17, 2024 15:44
proux01
Status
Success
Total duration
12m 10s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
coq-check-all
0s