This port is obsolete. It has been replaced by fstar.
kremlin-devel (lang/fstar) Updated: 3 years, 2 months ago Add to my watchlist
Obsolete port, replaced by fstarThis port has been replaced by fstar.
Version: 20210824-b95d1ac License: none
GitHub
531 build(s) found
Page 2 of 6 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 132511 | 2020-12-04 22:02:58 | 0:42:50 | 39260 | build successful |
| 10.10 | 128976 | 2020-12-04 21:12:14 | 0:06:46 | 40320 | build successful |
| 10.13 | 97157 | 2020-12-04 21:10:44 | 0:06:51 | 31218 | build successful |
| 10.14 | 73125 | 2020-12-04 20:24:38 | 0:10:42 | 21944 | build successful |
| 10.7 | 36901 | 2020-12-04 19:39:30 | 0:01:39 | 12704 | failed install-dependencies |
| 10.11 | 127304 | 2020-12-04 19:11:18 | 0:06:50 | 40264 | build successful |
| 10.6 | 21495 | 2020-12-04 19:00:22 | 0:01:46 | 12708 | failed install-dependencies |
| 10.15 | 44459 | 2020-12-04 18:44:11 | 0:28:00 | 11498 | build successful |
| 10.8 | 31662 | 2020-12-04 18:23:52 | 0:01:18 | 10568 | failed install-dependencies |
| 10.9 | 132709 | 2020-12-04 18:23:21 | 0:00:52 | 40270 | failed install-dependencies |
| 10.6.x86_64 | 40777 | 2020-12-04 18:23:21 | 0:01:09 | 12716 | failed install-dependencies |
| 11.arm64 | 4722 | 2020-12-04 18:21:47 | 0:00:02 | 785 | failed install-dependencies |
| 10.10 | 123938 | 2020-09-28 20:20:03 | 0:07:14 | 38131 | build successful |
| 10.14 | 68104 | 2020-09-28 20:19:46 | 0:07:48 | 19759 | build successful |
| 10.8 | 26341 | 2020-09-28 20:19:00 | 0:06:28 | 8378 | build successful |
| 10.13 | 92178 | 2020-09-28 20:18:23 | 0:07:22 | 29033 | build successful |
| 10.11 | 122319 | 2020-09-28 20:17:45 | 0:06:44 | 38076 | build successful |
| 10.6.x86_64 | 35266 | 2020-09-28 20:14:49 | 0:14:54 | 10525 | build successful |
| 10.7 | 31419 | 2020-09-28 20:13:49 | 0:10:52 | 10514 | build successful |
| 10.15 | 39096 | 2020-09-28 20:13:16 | 0:08:05 | 9312 | build successful |
| 10.9 | 127505 | 2020-09-28 20:07:50 | 0:05:54 | 38083 | build successful |
| 10.12 | 127606 | 2020-09-28 20:06:54 | 0:07:25 | 37074 | build successful |
| 10.6 | 18102 | 2020-09-28 19:39:50 | 0:01:27 | 10517 | failed install-dependencies |
| 10.14 | 67747 | 2020-09-21 1:23:25 | 0:08:15 | 19569 | build successful |
| 10.13 | 91817 | 2020-09-21 1:22:35 | 0:07:43 | 28843 | build successful |
| 10.10 | 123581 | 2020-09-21 1:22:24 | 0:07:16 | 37941 | build successful |
| 10.11 | 121954 | 2020-09-21 1:20:53 | 0:06:41 | 37886 | build successful |
| 10.8 | 25964 | 2020-09-21 1:19:38 | 0:06:23 | 8188 | build successful |
| 10.6.x86_64 | 34872 | 2020-09-21 1:17:53 | 0:14:31 | 10335 | build successful |
| 10.15 | 38735 | 2020-09-21 1:16:19 | 0:08:14 | 9122 | build successful |
| 10.7 | 31032 | 2020-09-21 1:15:13 | 0:10:35 | 10323 | build successful |
| 10.12 | 127240 | 2020-09-21 1:11:10 | 0:07:54 | 36883 | build successful |
| 10.9 | 127134 | 2020-09-21 1:10:26 | 0:05:44 | 37893 | build successful |
| 10.6 | 17880 | 2020-09-21 0:43:02 | 0:01:26 | 10328 | failed install-dependencies |
| 10.12 | 127064 | 2020-09-17 21:18:32 | 0:06:29 | 36796 | build successful |
| 10.14 | 67559 | 2020-09-17 21:02:43 | 0:08:38 | 19482 | build successful |
| 10.11 | 121777 | 2020-09-17 20:59:42 | 0:08:11 | 37799 | build successful |
| 10.8 | 25781 | 2020-09-17 20:56:25 | 0:06:26 | 8101 | build successful |
| 10.10 | 123404 | 2020-09-17 20:52:05 | 0:09:26 | 37854 | build successful |
| 10.7 | 30845 | 2020-09-17 20:49:34 | 0:13:39 | 10236 | build successful |
| 10.13 | 91641 | 2020-09-17 20:42:22 | 0:08:04 | 28756 | build successful |
| 10.15 | 38558 | 2020-09-17 20:23:49 | 0:08:19 | 9035 | build successful |
| 10.9 | 126955 | 2020-09-17 20:18:28 | 0:05:14 | 37806 | build successful |
| 10.6.x86_64 | 34687 | 2020-09-17 19:39:42 | 0:13:32 | 10248 | build successful |
| 10.6 | 17770 | 2020-09-17 19:13:03 | 0:01:25 | 10241 | failed install-dependencies |
| 10.14 | 67092 | 2020-09-12 0:08:31 | 0:07:26 | 19249 | build successful |
| 10.11 | 121352 | 2020-09-10 20:25:11 | 0:31:19 | 37569 | build successful |
| 10.6 | 17501 | 2020-09-10 6:41:26 | 0:01:16 | 10011 | failed install-dependencies |
| 10.6.x86_64 | 34249 | 2020-09-10 4:16:23 | 0:11:31 | 10018 | build successful |
| 10.13 | 91214 | 2020-09-10 0:46:15 | 0:01:31 | 28525 | build successful |
| 10.10 | 122979 | 2020-09-10 0:41:07 | 0:07:58 | 37624 | build successful |
| 10.8 | 25347 | 2020-09-10 0:29:13 | 0:06:07 | 7871 | build successful |
| 10.12 | 126641 | 2020-09-10 0:01:40 | 0:06:48 | 36565 | build successful |
| 10.7 | 30397 | 2020-09-10 0:01:02 | 0:11:35 | 10006 | build successful |
| 10.15 | 38126 | 2020-09-09 23:59:21 | 0:07:21 | 8802 | build successful |
| 10.9 | 126527 | 2020-09-09 23:56:32 | 0:05:17 | 37576 | build successful |
| 10.14 | 66134 | 2020-08-26 0:48:55 | 0:07:44 | 18801 | build successful |
| 10.8 | 24327 | 2020-08-26 0:47:55 | 0:06:37 | 7423 | build successful |
| 10.11 | 120385 | 2020-08-26 0:47:21 | 0:06:35 | 37121 | build successful |
| 10.10 | 121993 | 2020-08-26 0:46:36 | 0:07:31 | 37177 | build successful |
| 10.13 | 90260 | 2020-08-26 0:45:48 | 0:07:31 | 28078 | build successful |
| 10.6.x86_64 | 33148 | 2020-08-26 0:43:19 | 0:14:59 | 9568 | build successful |
| 10.15 | 37164 | 2020-08-26 0:42:31 | 0:08:28 | 8354 | build successful |
| 10.7 | 29342 | 2020-08-26 0:37:37 | 0:10:19 | 9555 | build successful |
| 10.9 | 125524 | 2020-08-26 0:35:04 | 0:06:54 | 37127 | build successful |
| 10.12 | 125687 | 2020-08-26 0:32:58 | 0:09:27 | 36118 | build successful |
| 10.6 | 16719 | 2020-08-26 0:05:02 | 0:01:22 | 9561 | failed install-dependencies |
| 10.10 | 121765 | 2020-08-22 1:11:46 | 0:07:57 | 37046 | build successful |
| 10.14 | 65930 | 2020-08-22 1:09:25 | 0:07:55 | 18670 | build successful |
| 10.8 | 24091 | 2020-08-22 1:07:18 | 0:06:28 | 7292 | build successful |
| 10.11 | 120162 | 2020-08-22 1:07:07 | 0:06:45 | 36989 | build successful |
| 10.13 | 90048 | 2020-08-22 1:05:59 | 0:07:09 | 27947 | build successful |
| 10.7 | 29096 | 2020-08-22 1:03:42 | 0:10:29 | 9424 | build successful |
| 10.6.x86_64 | 32902 | 2020-08-22 1:03:42 | 0:13:52 | 9437 | build successful |
| 10.15 | 36959 | 2020-08-22 1:02:11 | 0:07:34 | 8223 | build successful |
| 10.9 | 125289 | 2020-08-22 0:58:37 | 0:05:12 | 36996 | build successful |
| 10.12 | 125473 | 2020-08-22 0:56:00 | 0:07:10 | 35987 | build successful |
| 10.6 | 16552 | 2020-08-22 0:29:23 | 0:01:21 | 9430 | failed install-dependencies |
| 10.10 | 121541 | 2020-08-18 18:42:51 | 0:08:06 | 36939 | build successful |
| 10.14 | 65709 | 2020-08-18 18:41:24 | 0:07:41 | 18563 | build successful |
| 10.11 | 119938 | 2020-08-18 18:40:08 | 0:06:46 | 36882 | build successful |
| 10.8 | 23871 | 2020-08-18 18:39:32 | 0:06:23 | 7185 | build successful |
| 10.13 | 89821 | 2020-08-18 18:37:35 | 0:07:09 | 27836 | build successful |
| 10.6.x86_64 | 32669 | 2020-08-18 18:36:35 | 0:14:27 | 9330 | build successful |
| 10.15 | 36735 | 2020-08-18 18:35:14 | 0:07:56 | 8116 | build successful |
| 10.7 | 28867 | 2020-08-18 18:33:53 | 0:10:17 | 9317 | build successful |
| 10.9 | 125067 | 2020-08-18 18:31:08 | 0:05:55 | 36889 | build successful |
| 10.12 | 125251 | 2020-08-18 18:28:44 | 0:06:55 | 35880 | build successful |
| 10.6 | 16378 | 2020-08-18 18:02:22 | 0:01:22 | 9323 | failed install-dependencies |
| 10.10 | 121174 | 2020-08-12 17:58:21 | 0:07:17 | 36735 | build successful |
| 10.14 | 65362 | 2020-08-12 17:57:46 | 0:08:35 | 18359 | build successful |
| 10.13 | 89472 | 2020-08-12 17:56:56 | 0:07:23 | 27631 | build successful |
| 10.11 | 119586 | 2020-08-12 17:56:20 | 0:07:19 | 36678 | build successful |
| 10.6.x86_64 | 32263 | 2020-08-12 17:54:24 | 0:14:12 | 9126 | build successful |
| 10.8 | 23496 | 2020-08-12 17:53:07 | 0:06:22 | 6981 | build successful |
| 10.7 | 28477 | 2020-08-12 17:52:03 | 0:10:22 | 9113 | build successful |
| 10.15 | 36376 | 2020-08-12 17:50:04 | 0:08:05 | 7912 | build successful |
| 10.9 | 124700 | 2020-08-12 17:44:40 | 0:06:22 | 36685 | build successful |
| 10.12 | 124904 | 2020-08-12 17:42:49 | 0:06:54 | 35676 | build successful |
| 10.6 | 16159 | 2020-08-12 17:21:10 | 0:01:31 | 9119 | failed install-dependencies |