Jobs · 2xs / dx

Status	Name	Job	Pipeline	Stage	Duration
passed	test	#39435 coq-8.13 d78e412e	#17246 by	test	00:00:13 Jun 30, 2022
passed	build dx and deps	#39434 coq-8.13 d78e412e	#17246 by	build	00:07:40 Jun 30, 2022
passed	test	#39022 main dd0ef32e	#17140 by	test	00:00:13 Jun 29, 2022
passed	build dx and deps	#39021 main dd0ef32e	#17140 by	build	00:06:26 Jun 29, 2022
passed	test	#39018 better-errors b833154e	#17138 by	test	00:00:14 Jun 29, 2022
passed	build dx and deps	#39017 better-errors b833154e	#17138 by	build	00:07:12 Jun 29, 2022
passed	test	#38201 better-errors 802a0d87	#16942 by	test	00:00:14 Jun 21, 2022
passed	build dx and deps	#38200 better-errors 802a0d87	#16942 by	build	00:07:44 Jun 21, 2022
passed	test	#37938 better-errors 272b7b36	#16880 by	test	00:00:15 Jun 17, 2022
passed	build dx and deps	#37937 better-errors 272b7b36	#16880 by	build	00:06:40 Jun 17, 2022
passed	test	#37925 main 9dce1c4e	#16874 by	test	00:00:16 Jun 17, 2022
passed	build dx and deps	#37924 main 9dce1c4e	#16874 by	build	00:07:19 Jun 17, 2022
passed	test	#37881 better-errors c56a9142	#16864 by	test	00:00:15 Jun 17, 2022
passed	build dx and deps	#37880 better-errors c56a9142	#16864 by	build	00:06:42 Jun 17, 2022
passed	test	#37798 better-errors e7f148bd	#16846 by	test	00:00:16 Jun 16, 2022
passed	build dx and deps	#37797 better-errors e7f148bd	#16846 by	build	00:07:13 Jun 16, 2022
passed	test	#37598 coq-8.13 0a080995	#16793 by	test	00:00:14 Jun 14, 2022
passed	build dx and deps	#37597 coq-8.13 0a080995	#16793 by	build	00:07:53 Jun 14, 2022
passed	test	#35333 main a19b1e4c	#16268 by	test	00:00:12 May 06, 2022
passed	build dx and deps	#35332 main a19b1e4c	#16268 by	build	00:09:05 May 06, 2022
passed	test	#35271 ci 72edc7c2	#16235 by	test	00:00:14 Apr 27, 2022
passed	build dx and deps	#35270 ci 72edc7c2	#16235 by	build	00:09:32 Apr 27, 2022