support Coq 8.8.2
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| failed |
#18915
fp
|
build-coq.8.6.0 |
|
|
|||||
| failed |
#18914
fp
|
build-coq.8.6.1 |
|
|
|||||
| failed |
#18913
fp
|
build-coq.8.7.0 |
|
|
|||||
| failed |
#18912
fp
|
build-coq.8.7.1 |
|
|
|||||
| failed |
#18911
fp-timing
|
build-coq.8.7.2 |
|
|
|||||
| failed |
#18910
fp-timing
|
build-coq.8.8.0 |
|
|
|||||
| failed |
#18909
fp
|
build-coq.8.8.1 |
|
|
|||||
| failed |
#18908
fp
|
build-coq.8.8.2 |
|
|
|||||
| failed |
#18907
fp
|
build-coq.dev |
|
|
|||||
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
failed
|
build-coq.8.6.0 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.6.1 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.7.0 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.7.1 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.7.2 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.8.0 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.8.1 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.8.8.2 | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||
|
failed
|
build-coq.dev | Build | There has been a timeout failure or the job got stuck. Check your timeout limits or try again | |
|
||||