fix minor warning
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#89781
|
1.10.0-coq-8.11 |
00:14:06
|
|
|||||
| passed |
#89782
|
1.11.0-coq-8.11 |
00:06:04
|
|
|||||
| passed |
#89783
|
1.11.0-coq-8.12 |
00:05:02
|
|
|||||
| passed |
#89784
|
build-for-process |
00:02:20
|
|
|||||
| passed |
#89785
|
build-for-process-classic |
00:03:46
|
|
|||||
| passed |
#89788
|
coq-8.12 |
00:05:24
|
|
|||||
| passed |
#89789
|
coq-dev |
00:05:18
|
|
|||||
| passed |
#89786
|
proof-length |
00:00:07
|
|
|||||
| passed |
#89787
|
spell-check |
00:00:14
|
|
|||||
| Process | |||||||||
| passed |
#89792
|
doc |
00:00:19
|
|
|||||
| passed |
#89793
|
doc-classic |
00:01:21
|
|
|||||
| passed |
#89794
|
proof-state |
00:04:48
|
|
|||||
| passed |
#89790
|
validate |
00:02:11
|
|
|||||
| passed |
#89791
|
validate-classic |
00:01:10
|
|
|||||