remove some redundant parentheses
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#15340
fp
|
build-coq.8.6.0 |
00:04:18
|
|
|||||
| passed |
#15339
fp
|
build-coq.8.6.1 |
00:04:15
|
|
|||||
| passed |
#15338
fp
|
build-coq.8.7.0 |
00:03:28
|
|
|||||
| passed |
#15337
fp
|
build-coq.8.7.1 |
00:03:29
|
|
|||||
| passed |
#15336
fp-timing
|
build-coq.8.7.2 |
00:03:22
|
|
|||||
| passed |
#15335
fp-timing
|
build-coq.8.8.0 |
00:03:32
|
|
|||||
| passed |
#15334
fp
|
build-coq.dev |
00:16:46
|
|
|||||