Added naming conventions for definitions to naming.txt
| Name | Stage | Failure | ||
|---|---|---|---|---|
|
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.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.8.0 | 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 | |
|
||||