remove a stale comment
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | build-coq.8.7.0 |
#27071
fp
|
00:02:42
|
|
|||||
| passed | build-coq.8.7.1 |
#27070
fp
|
00:02:48
|
|
|||||
| passed | build-coq.8.7.2 |
#27069
fp
|
00:02:50
|
|
|||||
| passed | build-coq.8.8.0 |
#27068
fp-timing
|
00:02:42
|
|
|||||
| passed | build-coq.8.8.1 |
#27067
fp
|
00:02:48
|
|
|||||
| passed | build-coq.8.8.2 |
#27066
fp
|
00:02:50
|
|
|||||
| passed | build-coq.8.9.0 |
#27065
fp-timing
|
00:03:05
|
|
|||||
| passed | build-coq.dev |
#27064
fp
|
00:07:47
|
|
|||||