Status Name Job Pipeline Stage Duration Coverage
passed test #38201
better-errors
802a0d87
#16942 by Samuel Hym's avatar test

00:00:14

passed build dx and deps #38200
better-errors
802a0d87
#16942 by Samuel Hym's avatar build

00:07:44

passed test #37938
better-errors
272b7b36
#16880 by Samuel Hym's avatar test

00:00:15

passed build dx and deps #37937
better-errors
272b7b36
#16880 by Samuel Hym's avatar build

00:06:40

passed test #37925
main
9dce1c4e
#16874 by Samuel Hym's avatar test

00:00:16

passed build dx and deps #37924
main
9dce1c4e
#16874 by Samuel Hym's avatar build

00:07:19

passed test #37881
better-errors
c56a9142
#16864 by Samuel Hym's avatar test

00:00:15

passed build dx and deps #37880
better-errors
c56a9142
#16864 by Samuel Hym's avatar build

00:06:42

passed test #37798
better-errors
e7f148bd
#16846 by Samuel Hym's avatar test

00:00:16

passed build dx and deps #37797
better-errors
e7f148bd
#16846 by Samuel Hym's avatar build

00:07:13

passed test #37598
coq-8.13
0a080995
#16793 by Samuel Hym's avatar test

00:00:14

passed build dx and deps #37597
coq-8.13
0a080995
#16793 by Samuel Hym's avatar build

00:07:53

passed test #35333
main
a19b1e4c
#16268 by Samuel Hym's avatar test

00:00:12

passed build dx and deps #35332
main
a19b1e4c
#16268 by Samuel Hym's avatar build

00:09:05

passed test #35271
ci
72edc7c2
#16235 by Samuel Hym's avatar test

00:00:14

passed build dx and deps #35270
ci
72edc7c2
#16235 by Samuel Hym's avatar build

00:09:32