Status | Name | Job | Pipeline | Stage | Duration | Coverage | |
---|---|---|---|---|---|---|---|
passed | coq:dev |
#103290
au
|
#14264
by
![]() |
build |
00:04:25
|
|
|
passed | coq:8.10 |
#103289
au
|
#14264
by
![]() |
build |
00:03:57
|
|
|
passed | coq:8.9 |
#103288
au
|
#14264
by
![]() |
build |
00:03:57
|
|
|
passed | coq:8.8 |
#103287
au
|
#14264
by
![]() |
build |
00:03:53
|
|
|
passed | coq:dev |
#103176
au
|
#14229
by
![]() |
build |
00:04:18
|
|
|
passed | coq:8.10 |
#103175
au
|
#14229
by
![]() |
build |
00:03:52
|
|
|
passed | coq:8.9 |
#103174
au
|
#14229
by
![]() |
build |
00:03:07
|
|
|
passed | coq:8.8 |
#103173
au
|
#14229
by
![]() |
build |
00:03:37
|
|
|
passed | coq:dev |
#102161
au
|
#14034
by
![]() |
build |
00:05:20
|
|
|
passed | coq:8.10 |
#102160
au
|
#14034
by
![]() |
build |
00:03:45
|
|
|
passed | coq:8.9 |
#102159
au
|
#14034
by
![]() |
build |
00:04:09
|
|
|
passed | coq:8.8 |
#102158
au
|
#14034
by
![]() |
build |
00:03:29
|
|
|
passed | coq:dev |
#101667
au
|
#13974
by
![]() |
build |
00:04:24
|
|
|
passed | coq:8.10 |
#101666
au
|
#13974
by
![]() |
build |
00:03:01
|
|
|
passed | coq:8.9 |
#101665
au
|
#13974
by
![]() |
build |
00:03:07
|
|
|
passed | coq:8.8 |
#101664
au
|
#13974
by
![]() |
build |
00:02:50
|
|
|
passed | coq:dev |
#101598
au
|
#13953
by
![]() |
build |
00:02:40
|
|
|
passed | coq:8.10 |
#101597
au
|
#13953
by
![]() |
build |
00:03:04
|
|
|
passed | coq:8.9 |
#101596
au
|
#13953
by
![]() |
build |
00:02:49
|
|
|
passed | coq:8.8 |
#101595
au
|
#13953
by
![]() |
build |
00:02:49
|
|
|
passed | coq:dev |
#101594
au
|
#13952
by
![]() |
build |
00:03:40
|
|
|
passed | coq:8.10 |
#101593
au
|
#13952
by
![]() |
build |
00:03:50
|
|
|
failed | coq:8.9 |
#101592
au
|
#13952
by
![]() |
build |
00:00:38
|
|
|
failed | coq:8.8 |
#101591
au
|
#13952
by
![]() |
build |
00:00:34
|
|
|
passed | coq:dev |
#101137
au
|
#13814
by
![]() |
build |
00:03:32
|
|
|
passed | coq:8.10 |
#101136
au
|
#13814
by
![]() |
build |
00:03:54
|
|
|
passed | coq:8.9 |
#101135
au
|
#13814
by
![]() |
build |
00:03:22
|
|
|
passed | coq:8.8 |
#101134
au
|
#13814
by
![]() |
build |
00:03:38
|
|
|
passed | coq:dev |
#101090
au
|
#13808
by
![]() |
build |
00:03:46
|
|
|
passed | coq:8.9 |
#101089
au
|
#13808
by
![]() |
build |
00:04:27
|
|