Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
---|---|---|---|---|---|---|---|
passed |
#108804
|
#40010
by
![]() |
process | proof-state |
00:04:45
|
|
|
passed |
#108803
|
#40010
by
![]() |
process | doc-classic |
00:06:43
|
|
|
passed |
#108802
|
#40010
by
![]() |
process | doc |
00:00:19
|
|
|
passed |
#108801
|
#40010
by
![]() |
process | validate-classic |
00:07:46
|
|
|
passed |
#108800
|
#40010
by
![]() |
process | validate |
00:00:53
|
|
|
passed |
#108799
|
#40010
by
![]() |
build | coq-dev |
00:05:24
|
|
|
passed |
#108798
|
#40010
by
![]() |
build | coq-8.12 |
00:05:30
|
|
|
passed |
#108797
|
#40010
by
![]() |
build | spell-check |
00:00:18
|
|
|
passed |
#108796
|
#40010
by
![]() |
build | proof-length |
00:00:09
|
|
|
passed |
#108795
|
#40010
by
![]() |
build | build-for-process-classic |
00:03:40
|
|
|
passed |
#108794
|
#40010
by
![]() |
build | build-for-process |
00:02:24
|
|
|
passed |
#108793
|
#40010
by
![]() |
build | 1.11.0-coq-8.12 |
00:20:51
|
|
|
passed |
#108792
|
#40010
by
![]() |
build | 1.11.0-coq-8.11 |
00:06:14
|
|
|
passed |
#108791
|
#40010
by
![]() |
build | 1.10.0-coq-8.11 |
00:06:14
|
|
|
passed |
#107165
|
#39363
by
![]() |
process | proof-state |
00:04:40
|
|
|
passed |
#107164
|
#39363
by
![]() |
process | doc-classic |
00:00:32
|
|
|
passed |
#107163
|
#39363
by
![]() |
process | doc |
00:00:18
|
|
|
passed |
#107162
|
#39363
by
![]() |
process | validate-classic |
00:01:11
|
|
|
passed |
#107161
|
#39363
by
![]() |
process | validate |
00:04:23
|
|
|
passed |
#107160
|
#39363
by
![]() |
build | coq-dev |
00:04:20
|
|
|
passed |
#107159
|
#39363
by
![]() |
build | coq-8.12 |
00:05:27
|
|
|
passed |
#107158
|
#39363
by
![]() |
build | spell-check |
00:00:18
|
|
|
passed |
#107157
|
#39363
by
![]() |
build | proof-length |
00:00:08
|
|
|
passed |
#107156
|
#39363
by
![]() |
build | build-for-process-classic |
00:03:36
|
|
|
passed |
#107155
|
#39363
by
![]() |
build | build-for-process |
00:02:19
|
|
|
passed |
#107154
|
#39363
by
![]() |
build | 1.11.0-coq-8.12 |
00:05:01
|
|
|
passed |
#107153
|
#39363
by
![]() |
build | 1.11.0-coq-8.11 |
00:06:02
|
|
|
passed |
#107152
|
#39363
by
![]() |
build | 1.10.0-coq-8.11 |
00:05:58
|
|
|
passed |
#107136
|
#39360
by
![]() |
process | proof-state |
00:04:45
|
|
|
passed |
#107135
|
#39360
by
![]() |
process | doc-classic |
00:00:32
|
|