Skip to content

fix uvamp synchronization #181

fix uvamp synchronization

fix uvamp synchronization #181

Annotations

1 warning

mathcomp-ssreflect

succeeded Mar 5, 2024 in 3m 20s
Set up job
1s
Determine which commit to initially checkout
0s
Git checkout
1s
Determine which commit to test
0s
Git checkout
0s
Cachix install
3s
Cachix setup coq-elpi
2s
Checking presence of CI target mathcomp-ssreflect
23s
Building/fetching previous CI target: coq
22s
Building/fetching previous CI target: hierarchy-builder
5s
Building/fetching current CI target
2m 12s
Post Cachix setup coq-elpi
4s
Post Git checkout
0s
Post Git checkout
0s
Complete job
0s