Skip to content

specific error for missing subject #61

specific error for missing subject

specific error for missing subject #61

Annotations

1 warning

coqeal

succeeded Dec 12, 2024 in 4m 10s
Set up job
2s
Determine which commit to initially checkout
0s
Git checkout
4s
Determine which commit to test
0s
Git checkout
0s
Cachix install
4s
Cachix setup math-comp
3s
Checking presence of CI target coqeal
28s
Building/fetching previous CI target: coq
22s
Building/fetching previous CI target: mathcomp-algebra
6s
Building/fetching previous CI target: bignums
2s
Building/fetching previous CI target: paramcoq
1s
Building/fetching previous CI target: multinomials
50s
Building/fetching previous CI target: mathcomp-real-closed
4s
Building/fetching current CI target
1m 57s
Post Cachix setup math-comp
1s
Post Git checkout
0s
Post Git checkout
0s
Complete job
0s