Skip to content

I
Iris
Status Job Pipeline Stage Name Timing Coverage
passed #49645
master
05e5b389
fp
#21855 by Ralf Jung's avatar build build-coq.8.8.2

00:06:27

passed #49644
master
05e5b389
fp
#21855 by Ralf Jung's avatar build build-coq.8.9.1

00:07:38

passed #49643
master
05e5b389
fp-timing
#21855 by Ralf Jung's avatar build build-coq.8.10.2

00:11:36

passed #49642
master
05e5b389
fp
#21855 by Ralf Jung's avatar build build-coq.8.11.dev

00:15:56

passed #49641
master
05e5b389
fp
#21855 by Ralf Jung's avatar build build-coq.dev

00:15:58

passed #49595
master
feaf69e5
fp
#21835 by Robbert's avatar build build-coq.8.8.2

00:07:04

passed #49594
master
feaf69e5
fp
#21835 by Robbert's avatar build build-coq.8.9.1

00:07:44

passed #49593
master
feaf69e5
fp-timing
#21835 by Robbert's avatar build build-coq.8.10.1

00:06:35

passed #49592
master
feaf69e5
fp
#21835 by Robbert's avatar build build-coq.8.11.dev

00:15:45

passed #49591
master
feaf69e5
fp
#21835 by Robbert's avatar build build-coq.dev

00:15:36

passed #49550
master
ae38ce8f
fp
#21816 by Robbert's avatar build build-coq.8.8.2

00:07:00

passed #49549
master
ae38ce8f
fp
#21816 by Robbert's avatar build build-coq.8.9.1

00:07:43

passed #49548
master
ae38ce8f
fp-timing
#21816 by Robbert's avatar build build-coq.8.10.1

00:06:29

passed #49547
master
ae38ce8f
fp
#21816 by Robbert's avatar build build-coq.8.11.dev

00:15:44

passed #49546
master
ae38ce8f
fp
#21816 by Robbert's avatar build build-coq.dev

00:15:36

passed #49240
master
0dff154c
fp
#21743 by Robbert's avatar build build-coq.8.8.2

00:09:18

passed #49239
master
0dff154c
fp
#21743 by Robbert's avatar build build-coq.8.9.1

00:09:59

passed #49238
master
0dff154c
fp-timing
#21743 by Robbert's avatar build build-coq.8.10.1

00:06:14

passed #49237
master
0dff154c
fp
#21743 by Robbert's avatar build build-coq.8.11.dev

00:18:30

passed #49236
master
0dff154c
fp
#21743 by Robbert's avatar build build-coq.dev

00:18:25

passed #48650
master
4dc1ebda
fp
#21581 by Ralf Jung's avatar build build-coq.8.8.2

00:06:58

passed #48649
master
4dc1ebda
fp
#21581 by Ralf Jung's avatar build build-coq.8.9.1

00:07:40

passed #48648
master
4dc1ebda
fp-timing
#21581 by Ralf Jung's avatar build build-coq.8.10.1

00:06:36

passed #48647
master
4dc1ebda
fp
#21581 by Ralf Jung's avatar build build-coq.8.11.dev

00:15:43

passed #48646
master
4dc1ebda
fp
#21581 by Ralf Jung's avatar build build-coq.dev

00:15:47

passed #48529
master
4f300830
fp
#21533 by Robbert's avatar build build-coq.8.8.2

00:06:57

passed #48528
master
4f300830
fp
#21533 by Robbert's avatar build build-coq.8.9.1

00:07:35

passed #48527
master
4f300830
fp-timing
#21533 by Robbert's avatar build build-coq.8.10.1

00:06:18

passed #48526
master
4f300830
fp
#21533 by Robbert's avatar build build-coq.8.11.dev

00:15:39

passed #48525
master
4f300830
fp
#21533 by Robbert's avatar build build-coq.dev

00:15:43