Jobs · Tej Chajed / stdpp

Status	Name	Job	Pipeline	Stage	Duration
passed	build-coq.8.11.2	#166559 release-notes-1.7.0 d71ae437 fp	#60422 by	build	00:05:28 Jan 20, 2022
passed	build-coq.8.14.1-mr	#166558 release-notes-1.7.0 d71ae437 fp	#60422 by	build	00:09:56 Jan 20, 2022
passed	build-coq.8.11.2	#161263 avoid-deprecated-nat-defs 17190de7 fp	#58441 by	build	00:04:22 Dec 06, 2021
passed	build-coq.8.14.1-mr	#161262 avoid-deprecated-nat-defs 17190de7 fp	#58441 by	build	00:04:15 Dec 06, 2021
passed	build-coq.8.11.2	#161219 avoid-deprecated-nat-defs 0210d4c9 fp	#58429 by	build	00:04:20 Dec 06, 2021
passed	build-coq.8.14.1-mr	#161218 avoid-deprecated-nat-defs 0210d4c9 fp	#58429 by	build	00:04:16 Dec 06, 2021
passed	build-coq.8.11.2	#161149 avoid-deprecated-nat-defs 4201c413 fp	#58393 by	build	00:11:19 Dec 06, 2021
passed	build-coq.8.14.1-mr	#161148 avoid-deprecated-nat-defs 4201c413 fp	#58393 by	build	00:12:00 Dec 06, 2021
passed	build-coq.8.10.2	#159425 fix-coq-lint-macos 7d7097a6 fp	#57756 by	build	00:04:35 Nov 23, 2021
passed	build-coq.8.13.2-mr	#159424 fix-coq-lint-macos 7d7097a6 fp	#57756 by	build	00:04:09 Nov 23, 2021
passed	build-coq.8.10.2	#159423 fix-coq-lint-macos 183fdb94 fp	#57755 by	build	00:04:50 Nov 23, 2021
passed	build-coq.8.13.2-mr	#159422 fix-coq-lint-macos 183fdb94 fp	#57755 by	build	00:07:18 Nov 23, 2021
passed	build-coq.8.10.2	#154695 release-notes-1.6.0 1c6cfba2 fp	#56376 by	build	00:04:36 Nov 04, 2021
passed	build-coq.8.13.2-mr	#154694 release-notes-1.6.0 1c6cfba2 fp	#56376 by	build	00:04:11 Nov 04, 2021
passed	build-coq.8.10.2	#153309 release-notes-1.6.0 4c89c504 fp	#56167 by	build	00:05:04 Nov 01, 2021
passed	build-coq.8.13.2-mr	#153308 release-notes-1.6.0 4c89c504 fp	#56167 by	build	00:04:25 Nov 01, 2021
canceled	build-coq.8.10.2	#153307 release-notes-1.6.0 a2f1ba82 fp	#56166 by	build	00:00:28 Nov 01, 2021
canceled	build-coq.8.13.2-mr	#153306 release-notes-1.6.0 a2f1ba82 fp	#56166 by	build	00:00:28 Nov 01, 2021
canceled	build-coq.8.10.2	#153279 release-notes-1.6.0 307c14a1 fp	#56162 by	build	00:02:42 Nov 01, 2021
canceled	build-coq.8.13.2-mr	#153278 release-notes-1.6.0 307c14a1 fp	#56162 by	build	00:02:43 Nov 01, 2021
passed	build-coq.8.10.2	#153128 release-notes-1.6.0 b5b97894 fp	#56113 by	build	00:05:02 Oct 30, 2021
passed	build-coq.8.13.2-mr	#153127 release-notes-1.6.0 b5b97894 fp	#56113 by	build	00:07:42 Oct 30, 2021
passed	build-coq.8.10.2	#150530 adjust-focused-goal 06c4277c fp	#55142 by	build	00:11:22 Oct 13, 2021
passed	build-coq.8.13.2-mr	#150529 adjust-focused-goal 06c4277c fp	#55142 by	build	00:11:15 Oct 13, 2021
canceled	build-coq.8.7.0	#20811 master be4eb648 fp	#13160 by	build	Nov 29, 2018
canceled	build-coq.8.7.1	#20810 master be4eb648 fp	#13160 by	build	Nov 29, 2018
canceled	build-coq.8.7.2	#20809 master be4eb648 fp-timing	#13160 by	build	Nov 29, 2018
canceled	build-coq.8.8.0	#20808 master be4eb648 fp-timing	#13160 by	build	Nov 29, 2018
canceled	build-coq.8.8.1	#20807 master be4eb648 fp	#13160 by	build	Nov 29, 2018
canceled	build-coq.8.8.2	#20806 master be4eb648 fp	#13160 by	build	Nov 29, 2018