[8.19] Bump MetaCoq version #683
Triggered via pull request
January 29, 2025 18:35
4ever2
Status
Cancelled
Total duration
19m 1s
Artifacts
–
build.yml
on: pull_request
build
18m 52s
test
0s
deploy-docs
0s