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