Jobs · Simon Friis Vindum / Iris

Status	Job	Pipeline
Status for job #245403 Passed 00:07:06 1 year ago	#245403: build-coq.8.15.2 bupd_plain dc0d370e fp	#88047 created by Stage: build
Status for job #245402 Passed 00:07:18 1 year ago	#245402: build-coq.8.17.0-mr bupd_plain dc0d370e fp	#88047 created by Stage: build
Status for job #245358 Passed 00:22:31 1 year ago	#245358: build-coq.8.15.2 bupd_plain 9afea052 fp	#88023 created by Stage: build
Status for job #245357 Passed 00:19:27 1 year ago	#245357: build-coq.8.17.0-mr bupd_plain 9afea052 fp	#88023 created by Stage: build
Status for job #212940 Passed 00:06:48 2 years ago	#212940: build-coq.8.13.2 fractional-embed 4df29af7 fp	#74739 created by Stage: build
Status for job #212939 Passed 00:07:00 2 years ago	#212939: build-coq.8.16.0-mr fractional-embed 4df29af7 fp	#74739 created by Stage: build
Status for job #212828 Passed 00:06:41 2 years ago	#212828: build-coq.8.13.2 fractional-embed 99e8a351 fp	#74686 created by Stage: build
Status for job #212827 Passed 00:07:00 2 years ago	#212827: build-coq.8.16.0-mr fractional-embed 99e8a351 fp	#74686 created by Stage: build
Status for job #212637 Passed 00:08:05 2 years ago	#212637: build-coq.8.13.2 fractional-embed 5c76a00e fp	#74605 created by Stage: build
Status for job #212636 Passed 00:21:58 2 years ago	#212636: build-coq.8.16.0-mr fractional-embed 5c76a00e fp	#74605 created by Stage: build
Status for job #205007 Passed 00:13:41 2 years ago	#205007: build-coq.8.13.2 clear-intuit-sound fc717f6b fp	#71466 created by Stage: build
Status for job #205006 Passed 00:16:42 2 years ago	#205006: build-coq.8.14.1 clear-intuit-sound fc717f6b fp	#71466 created by Stage: build
Status for job #153205 Passed 00:08:25 3 years ago	#153205: build-coq.8.12.2 ghost-map-persist-auth 00654c5a fp	#56138 created by Stage: build
Status for job #153204 Passed 00:08:00 3 years ago	#153204: build-coq.dev ghost-map-persist-auth 00654c5a fp	#56138 created by Stage: build
Status for job #153203 Canceled 00:01:59 3 years ago	#153203: build-coq.8.12.2 ghost-map-persist-auth 75b7f48f fp	#56137 created by Stage: build
Status for job #153202 Canceled 00:01:59 3 years ago	#153202: build-coq.dev ghost-map-persist-auth 75b7f48f fp	#56137 created by Stage: build
Status for job #152622 Passed 00:09:20 3 years ago	#152622: build-coq.8.12.2 ghost-map-persist-auth 26eb2b4b fp	#55824 created by Stage: build
Status for job #152621 Passed 00:08:48 3 years ago	#152621: build-coq.dev ghost-map-persist-auth 26eb2b4b fp	#55824 created by Stage: build
Status for job #152584 Failed 00:05:58 3 years ago	#152584: build-coq.8.12.2 ghost-map-persist-auth 8d20d87c fp	#55818 created by Stage: build
Status for job #152583 Failed 00:05:53 3 years ago	#152583: build-coq.dev ghost-map-persist-auth 8d20d87c fp	#55818 created by Stage: build
Status for job #152457 Passed 00:15:26 3 years ago	#152457: build-coq.8.12.2 ghost-map-persist-auth d6881996 fp	#55773 created by Stage: build
Status for job #152456 Passed 00:18:21 3 years ago	#152456: build-coq.dev ghost-map-persist-auth d6881996 fp	#55773 created by Stage: build
Status for job #138433 Passed 00:07:47 3 years ago	#138433: build-coq.8.12.2 big-op-impl 2a045fd2 fp	#51565 created by Stage: build
Status for job #138432 Passed 00:07:37 3 years ago	#138432: build-coq.dev big-op-impl 2a045fd2 fp	#51565 created by Stage: build
Status for job #138249 Passed 00:09:19 3 years ago	#138249: build-coq.8.12.2 big-op-impl 53c1d450 fp	#51507 created by Stage: build
Status for job #138248 Passed 00:08:52 3 years ago	#138248: build-coq.dev big-op-impl 53c1d450 fp	#51507 created by Stage: build
Status for job #138238 Failed 00:04:23 3 years ago	#138238: build-coq.8.12.2 big-op-impl 3ebef6ab fp	#51502 created by Stage: build
Status for job #138237 Failed 00:05:02 3 years ago	#138237: build-coq.dev big-op-impl 3ebef6ab fp	#51502 created by Stage: build
Status for job #138231 Failed 00:02:54 3 years ago	#138231: build-coq.8.12.2 big-op-impl 7413fc76 fp	#51499 created by Stage: build
Status for job #138230 Failed 00:03:53 3 years ago	#138230: build-coq.dev big-op-impl 7413fc76 fp	#51499 created by Stage: build