Status Job Pipeline Stage Name Coverage
passed #24477
ci/weak_mem
31e47d88
fp
#14823 by Hai Dang's avatar build build-iris.dev

00:40:03

passed #24471
master
b8558f56
fp
#14817 by Ralf Jung's avatar build build-iris.dev

00:16:54

passed #24285
ci/weak_mem
31e47d88
fp
#14767 by Hai Dang's avatar build build-iris.dev

00:26:38

passed #24275
master
b8558f56
fp
#14757 by Ralf Jung's avatar build build-iris.dev

00:20:00

passed #24138
ci/weak_mem
31e47d88
fp
#14695 by Hai Dang's avatar build build-iris.dev

00:44:30

passed #24131
master
b8558f56
fp
#14688 by Ralf Jung's avatar build build-iris.dev

00:20:21

passed #24108
ci/weak_mem
31e47d88
fp
#14672 by Hai Dang's avatar build build-iris.dev

00:26:16

passed #24102
master
b8558f56
fp
#14666 by Ralf Jung's avatar build build-iris.dev

00:15:33

passed #24061
ci/weak_mem
31e47d88
fp
#14660 by Hai Dang's avatar build build-iris.dev

00:42:48

passed #24055
master
b8558f56
fp
#14654 by Ralf Jung's avatar build build-iris.dev

00:15:47

passed #23987
ci/weak_mem
31e47d88
fp
#14641 by Hai Dang's avatar build build-coq.8.7.2

00:47:21

passed #23986
ci/weak_mem
31e47d88
fp-timing
#14641 by Hai Dang's avatar build build-coq.8.8.2

00:42:37

passed #23985
ci/weak_mem
31e47d88
fp
#14641 by Hai Dang's avatar build build-coq.dev

01:21:41

passed #23948
ci/weak_mem
45350504
fp
#14624 by Hai Dang's avatar build build-iris.dev

00:39:57

passed #23939
master
b8558f56
fp
#14615 by Ralf Jung's avatar build build-iris.dev

00:15:21

passed #23856
ci/weak_mem
45350504
fp
#14599 by Hai Dang's avatar build build-iris.dev

00:57:56

passed #23850
master
b8558f56
fp
#14593 by Ralf Jung's avatar build build-iris.dev

00:20:42

passed #23778
ci/weak_mem
45350504
fp
#14567 by Hai Dang's avatar build build-iris.dev

00:25:29

passed #23772
master
b8558f56
fp
#14561 by Ralf Jung's avatar build build-iris.dev

00:15:51

passed #23763
ci/weak_mem
45350504
fp
#14554 by Hai Dang's avatar build build-iris.dev

00:38:51

passed #23757
master
b8558f56
fp
#14548 by Ralf Jung's avatar build build-iris.dev

00:15:44

passed #23748
ci/weak_mem
45350504
fp
#14539 by Hai Dang's avatar build build-coq.8.7.2

00:42:02

passed #23747
ci/weak_mem
45350504
fp-timing
#14539 by Hai Dang's avatar build build-coq.8.8.2

00:38:20

passed #23746
ci/weak_mem
45350504
fp
#14539 by Hai Dang's avatar build build-coq.dev

01:15:39

passed #23660
ci/weak_mem
1924455e
fp
#14528 by Hai Dang's avatar build build-iris.dev

00:43:36

passed #23654
master
b8558f56
fp
#14522 by Ralf Jung's avatar build build-iris.dev

00:19:41

passed #23642
ci/weak_mem
1924455e
fp
#14517 by Hai Dang's avatar build build-iris.dev

00:25:48

passed #23636
master
b8558f56
fp
#14511 by Ralf Jung's avatar build build-iris.dev

00:15:17

passed #23600
ci/weak_mem
1924455e
fp
#14505 by Hai Dang's avatar build build-iris.dev

00:25:29

passed #23594
master
b8558f56
fp
#14499 by Ralf Jung's avatar build build-iris.dev

00:15:18