Status Job Pipeline Stage Name Coverage
passed #32071
ci/weak_mem
1d5af139
fp
#16863 by iris-dev's avatar build build-iris.dev

00:52:51

passed #32066
master
b27fc190
fp
#16858 by iris-dev's avatar build build-iris.dev

00:18:50

passed #31997
ci/weak_mem
1d5af139
fp
#16841 by iris-dev's avatar build build-iris.dev

00:57:40

passed #31992
master
b27fc190
fp
#16836 by iris-dev's avatar build build-iris.dev

00:19:42

passed #31938
ci/weak_mem
1d5af139
fp
#16818 by iris-dev's avatar build build-iris.dev

00:58:15

passed #31933
master
b27fc190
fp
#16813 by iris-dev's avatar build build-iris.dev

00:20:20

passed #31928
ci/joe/compact_ipm_simple
f47c8ec5
fp-timing
#16808 by Joseph Tassarotti's avatar build build-iris.dev

00:15:23

passed #31927
ci/joe/compact_ipm
3310c938
fp-timing
#16807 by Joseph Tassarotti's avatar build build-iris.dev

00:15:51

passed #31857
ci/weak_mem
1d5af139
fp
#16796 by iris-dev's avatar build build-iris.dev

00:58:03

passed #31852
master
b27fc190
fp
#16791 by iris-dev's avatar build build-iris.dev

00:15:48

passed #31826
ci/weak_mem
1d5af139
fp
#16785 by iris-dev's avatar build build-iris.dev

00:58:25

passed #31821
master
b27fc190
fp
#16780 by iris-dev's avatar build build-iris.dev

00:20:11

passed #31790
ci/robbert/faster_iFresh_joe
317cb6a9
fp-timing
#16769 by Robbert's avatar build build-iris.dev

00:16:03

passed #31789
ci/robbert/faster_iFresh_joe
fde5d7dd
fp-timing
#16768 by Robbert's avatar build build-iris.dev

00:16:56

canceled #31781
ci/robbert/faster_iFresh_joe
723f8543
fp-timing
#16766 by Robbert's avatar build build-iris.dev

00:03:59

passed #31752
ci/weak_mem
1d5af139
fp
#16763 by iris-dev's avatar build build-iris.dev

00:57:44

passed #31747
master
b27fc190
fp
#16758 by iris-dev's avatar build build-iris.dev

00:19:19

passed #31742
ci/robbert/faster_iFresh
723f8543
fp-timing
#16753 by Robbert's avatar build build-iris.dev

00:17:07

passed #31740
ci/weak_mem
1d5af139
fp
#16751 by Robbert's avatar build build-iris.dev

00:57:46

passed #31739
master
b27fc190
fp
#16750 by Robbert's avatar build build-iris.dev

00:18:35

passed #31730
master
b27fc190
fp
#16747 by Ralf Jung's avatar build build-coq.8.7.2

00:15:45

passed #31729
master
b27fc190
fp
#16747 by Ralf Jung's avatar build build-coq.8.8.2

00:15:20

passed #31728
master
b27fc190
fp-timing
#16747 by Ralf Jung's avatar build build-coq.8.9.0

00:12:55

passed #31727
master
b27fc190
fp
#16747 by Ralf Jung's avatar build build-coq.dev

00:25:04

passed #31699
ci/weak_mem
1d5af139
fp
#16743 by iris-dev's avatar build build-iris.dev

00:57:42

passed #31694
master
f479c17d
fp
#16738 by iris-dev's avatar build build-iris.dev

00:19:57

passed #31689
ci/weak_mem
1d5af139
fp
#16733 by Ralf Jung's avatar build build-iris.dev

00:57:24

passed #31688
ci/weak_mem
1d5af139
fp
#16732 by Ralf Jung's avatar build build-coq.8.8.2

00:44:30

passed #31687
ci/weak_mem
1d5af139
fp-timing
#16732 by Ralf Jung's avatar build build-coq.8.9.0

00:40:17

passed #31686
ci/weak_mem
1d5af139
fp
#16732 by Ralf Jung's avatar build build-coq.dev

00:58:03