Skip to content

Merge pull request #50 from 4ever2/cachix #18

Merge pull request #50 from 4ever2/cachix

Merge pull request #50 from 4ever2/cachix #18

Annotations

1 warning

ssprove

succeeded Dec 17, 2024 in 18m 58s
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 ssprove
2s
Checking presence of CI target ssprove
25s
Building/fetching previous CI target: coq
14s
Building/fetching previous CI target: equations
2s
Building/fetching previous CI target: mathcomp-ssreflect
9s
Building/fetching previous CI target: mathcomp-analysis
9m 13s
Building/fetching previous CI target: extructures
43s
Building/fetching previous CI target: deriving
1s
Building/fetching current CI target
7m 55s
Post Cachix setup ssprove
1s
Post Git checkout
0s
Post Git checkout
0s
Complete job
0s