Status Job Pipeline Stage Name Timing Coverage
passed #21578
master
a9de1c86
fp
#13620 by Ralf Jung's avatar build build-iris.dev

00:03:08

passed #21558
master
a9de1c86
fp
#13606 by Ralf Jung's avatar build build-iris.dev

00:03:13

passed #21548
master
a9de1c86
fp
#13596 by Ralf Jung's avatar build build-iris.dev

00:03:10

passed #21539
master
a9de1c86
fp
#13587 by Ralf Jung's avatar build build-iris.dev

00:03:10

passed #21526
master
a9de1c86
fp
#13574 by Ralf Jung's avatar build build-iris.dev

00:03:15

passed #21517
master
a9de1c86
fp
#13565 by Ralf Jung's avatar build build-iris.dev

00:03:11

passed #21508
master
a9de1c86
fp
#13556 by Ralf Jung's avatar build build-iris.dev

00:03:09

passed #21493
master
a9de1c86
fp
#13544 by Ralf Jung's avatar build build-iris.dev

00:03:20

passed #21484
master
a9de1c86
fp
#13535 by Ralf Jung's avatar build build-iris.dev

00:03:18

passed #21475
master
a9de1c86
fp
#13526 by Ralf Jung's avatar build build-iris.dev

00:03:20

passed #21438
master
a9de1c86
fp
#13509 by Ralf Jung's avatar build build-iris.dev

00:03:10

passed #21419
master
a9de1c86
fp
#13496 by Ralf Jung's avatar build build-iris.dev

00:03:13

passed #21371
master
a9de1c86
fp
#13471 by Ralf Jung's avatar build build-coq.8.8.2

00:14:54

canceled #21370
master
1eb36a8d
fp
#13470 by Ralf Jung's avatar build build-coq.8.8.2

passed #21352
master
faa14602
fp
#13461 by Ralf Jung's avatar build build-iris.dev

00:07:04

passed #21318
master
faa14602
fp
#13443 by Ralf Jung's avatar build build-iris.dev

00:03:11

passed #21306
master
faa14602
fp
#13433 by Ralf Jung's avatar build build-iris.dev

00:07:58

passed #21287
master
faa14602
fp
#13421 by Ralf Jung's avatar build build-iris.dev

00:08:01

passed #21245
master
faa14602
fp
#13406 by Ralf Jung's avatar build build-iris.dev

00:07:10

passed #21197
master
faa14602
fp
#13382 by Ralf Jung's avatar build build-iris.dev

00:07:00

passed #21178
master
faa14602
fp
#13369 by Ralf Jung's avatar build build-iris.dev

00:08:03

passed #21131
master
faa14602
fp
#13348 by Ralf Jung's avatar build build-iris.dev

00:03:09

passed #21089
master
faa14602
fp
#13325 by Ralf Jung's avatar build build-iris.dev

00:03:15

passed #21061
master
faa14602
fp
#13308 by Ralf Jung's avatar build build-iris.dev

00:03:08

passed #21047
master
faa14602
fp
#13297 by Ralf Jung's avatar build build-iris.dev

00:06:59

passed #21030
master
faa14602
fp
#13286 by Ralf Jung's avatar build build-iris.dev

00:07:01

passed #20985
master
faa14602
fp
#13264 by Ralf Jung's avatar build build-iris.dev

00:07:04

passed #20961
master
faa14602
fp
#13250 by Ralf Jung's avatar build build-iris.dev

00:03:07

passed #20949
master
faa14602
fp
#13238 by Ralf Jung's avatar build build-iris.dev

00:03:17

passed #20935
master
faa14602
fp
#13225 by Ralf Jung's avatar build build-iris.dev

00:07:09