This port is obsolete. It has been replaced by fstar.
fstar-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
498 build(s) found
Page 2 of 5 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.13 | 92177 | 2020-09-28 19:39:25 | 0:38:54 | 29033 | build successful |
| 10.12 | 127605 | 2020-09-28 19:39:15 | 0:27:33 | 37074 | build successful |
| 10.10 | 123937 | 2020-09-28 19:39:05 | 0:40:54 | 38131 | build successful |
| 10.8 | 26340 | 2020-09-28 19:38:53 | 0:40:04 | 8378 | build successful |
| 10.11 | 122318 | 2020-09-28 19:38:42 | 0:38:57 | 38076 | build successful |
| 10.6 | 18101 | 2020-09-28 19:38:31 | 0:01:16 | 10517 | failed install-dependencies |
| 10.7 | 31418 | 2020-09-28 19:37:51 | 0:35:42 | 10514 | build successful |
| 10.6.x86_64 | 35265 | 2020-09-28 19:37:41 | 0:36:57 | 10525 | build successful |
| 10.9 | 127504 | 2020-09-28 19:37:29 | 0:29:42 | 38083 | build successful |
| 10.15 | 38734 | 2020-09-21 0:43:02 | 0:33:10 | 9122 | build successful |
| 10.14 | 67746 | 2020-09-21 0:42:49 | 0:40:32 | 19569 | build successful |
| 10.13 | 91816 | 2020-09-21 0:42:39 | 0:39:53 | 28843 | build successful |
| 10.12 | 127239 | 2020-09-21 0:42:27 | 0:28:39 | 36883 | build successful |
| 10.11 | 121953 | 2020-09-21 0:42:16 | 0:38:33 | 37886 | build successful |
| 10.10 | 123580 | 2020-09-21 0:42:06 | 0:40:14 | 37941 | build successful |
| 10.8 | 25963 | 2020-09-21 0:41:57 | 0:37:37 | 8188 | build successful |
| 10.6 | 17879 | 2020-09-21 0:41:48 | 0:01:11 | 10328 | failed install-dependencies |
| 10.6.x86_64 | 34871 | 2020-09-21 0:41:05 | 0:36:33 | 10335 | build successful |
| 10.9 | 127133 | 2020-09-21 0:40:55 | 0:29:27 | 37893 | build successful |
| 10.7 | 31031 | 2020-09-21 0:40:45 | 0:34:11 | 10323 | build successful |
| 10.12 | 127063 | 2020-09-17 20:50:33 | 0:27:56 | 36796 | build successful |
| 10.14 | 67558 | 2020-09-17 20:25:10 | 0:37:29 | 19482 | build successful |
| 10.11 | 121776 | 2020-09-17 20:22:27 | 0:37:11 | 37799 | build successful |
| 10.8 | 25780 | 2020-09-17 20:21:40 | 0:34:42 | 8101 | build successful |
| 10.10 | 123403 | 2020-09-17 20:15:25 | 0:36:35 | 37854 | build successful |
| 10.7 | 30844 | 2020-09-17 20:15:14 | 0:34:10 | 10236 | build successful |
| 10.13 | 91640 | 2020-09-17 20:09:40 | 0:32:39 | 28756 | build successful |
| 10.15 | 38557 | 2020-09-17 19:55:24 | 0:28:21 | 9035 | build successful |
| 10.9 | 126954 | 2020-09-17 19:50:10 | 0:27:42 | 37806 | build successful |
| 10.6 | 17769 | 2020-09-17 19:11:43 | 0:01:17 | 10241 | failed install-dependencies |
| 10.6.x86_64 | 34686 | 2020-09-17 19:10:55 | 0:28:44 | 10248 | build successful |
| 10.14 | 67091 | 2020-09-11 23:42:54 | 0:25:34 | 19249 | build successful |
| 10.11 | 121353 | 2020-09-10 20:56:33 | 0:01:19 | 37569 | build successful |
| 10.6 | 17500 | 2020-09-10 6:40:17 | 0:01:07 | 10011 | failed install-dependencies |
| 10.6.x86_64 | 34248 | 2020-09-10 3:48:03 | 0:28:18 | 10018 | build successful |
| 10.13 | 91213 | 2020-09-10 0:44:56 | 0:01:16 | 28525 | build successful |
| 10.10 | 122978 | 2020-09-10 0:09:08 | 0:31:46 | 37624 | build successful |
| 10.8 | 25346 | 2020-09-10 0:06:15 | 0:22:54 | 7871 | build successful |
| 10.15 | 38125 | 2020-09-09 23:31:33 | 0:27:44 | 8802 | build successful |
| 10.12 | 126640 | 2020-09-09 23:31:20 | 0:30:18 | 36565 | build successful |
| 10.7 | 30396 | 2020-09-09 23:31:08 | 0:29:49 | 10006 | build successful |
| 10.9 | 126526 | 2020-09-09 23:30:53 | 0:25:36 | 37576 | build successful |
| 10.14 | 66133 | 2020-08-26 0:05:44 | 0:43:08 | 18801 | build successful |
| 10.8 | 24326 | 2020-08-26 0:05:33 | 0:42:19 | 7423 | build successful |
| 10.11 | 120384 | 2020-08-26 0:05:20 | 0:41:56 | 37121 | build successful |
| 10.15 | 37163 | 2020-08-26 0:05:05 | 0:37:00 | 8354 | build successful |
| 10.12 | 125686 | 2020-08-26 0:04:51 | 0:28:03 | 36118 | build successful |
| 10.10 | 121992 | 2020-08-26 0:04:37 | 0:41:54 | 37177 | build successful |
| 10.13 | 90259 | 2020-08-26 0:04:27 | 0:41:14 | 28078 | build successful |
| 10.9 | 125523 | 2020-08-26 0:04:13 | 0:30:49 | 37127 | build successful |
| 10.7 | 29341 | 2020-08-26 0:04:04 | 0:33:05 | 9555 | build successful |
| 10.6 | 16718 | 2020-08-26 0:03:47 | 0:01:11 | 9561 | failed install-dependencies |
| 10.6.x86_64 | 33147 | 2020-08-26 0:02:53 | 0:40:15 | 9568 | build successful |
| 10.14 | 65929 | 2020-08-22 0:29:25 | 0:39:56 | 18670 | build successful |
| 10.8 | 24090 | 2020-08-22 0:29:14 | 0:37:59 | 7292 | build successful |
| 10.11 | 120161 | 2020-08-22 0:29:03 | 0:37:59 | 36989 | build successful |
| 10.15 | 36958 | 2020-08-22 0:28:53 | 0:33:13 | 8223 | build successful |
| 10.12 | 125472 | 2020-08-22 0:28:41 | 0:27:14 | 35987 | build successful |
| 10.13 | 90047 | 2020-08-22 0:28:31 | 0:37:20 | 27947 | build successful |
| 10.10 | 121764 | 2020-08-22 0:28:22 | 0:43:21 | 37046 | build successful |
| 10.6 | 16551 | 2020-08-22 0:28:12 | 0:01:08 | 9430 | failed install-dependencies |
| 10.9 | 125288 | 2020-08-22 0:27:31 | 0:31:02 | 36996 | build successful |
| 10.7 | 29095 | 2020-08-22 0:27:22 | 0:36:14 | 9424 | build successful |
| 10.6.x86_64 | 32901 | 2020-08-22 0:27:13 | 0:36:26 | 9437 | build successful |
| 10.11 | 119937 | 2020-08-18 18:02:48 | 0:37:16 | 36882 | build successful |
| 10.8 | 23870 | 2020-08-18 18:02:37 | 0:36:49 | 7185 | build successful |
| 10.15 | 36734 | 2020-08-18 18:02:25 | 0:32:46 | 8116 | build successful |
| 10.14 | 65708 | 2020-08-18 18:02:06 | 0:39:14 | 18563 | build successful |
| 10.13 | 89820 | 2020-08-18 18:01:55 | 0:35:37 | 27836 | build successful |
| 10.12 | 125250 | 2020-08-18 18:01:44 | 0:26:55 | 35880 | build successful |
| 10.10 | 121540 | 2020-08-18 18:01:32 | 0:41:17 | 36939 | build successful |
| 10.6 | 16377 | 2020-08-18 18:01:07 | 0:01:12 | 9323 | failed install-dependencies |
| 10.9 | 125066 | 2020-08-18 18:00:20 | 0:30:44 | 36889 | build successful |
| 10.7 | 28866 | 2020-08-18 18:00:10 | 0:33:39 | 9317 | build successful |
| 10.6.x86_64 | 32668 | 2020-08-18 17:59:52 | 0:36:36 | 9330 | build successful |
| 10.6 | 16158 | 2020-08-12 17:19:54 | 0:01:14 | 9119 | failed install-dependencies |
| 10.14 | 65361 | 2020-08-12 17:18:32 | 0:39:11 | 18359 | build successful |
| 10.15 | 36375 | 2020-08-12 17:18:11 | 0:31:48 | 7912 | build successful |
| 10.11 | 119585 | 2020-08-12 17:17:48 | 0:38:27 | 36678 | build successful |
| 10.6.x86_64 | 32262 | 2020-08-12 17:17:33 | 0:36:48 | 9126 | build successful |
| 10.13 | 89471 | 2020-08-12 17:17:13 | 0:39:40 | 27631 | build successful |
| 10.10 | 121173 | 2020-08-12 17:16:49 | 0:41:29 | 36735 | build successful |
| 10.12 | 124903 | 2020-08-12 17:16:31 | 0:26:11 | 35676 | build successful |
| 10.8 | 23495 | 2020-08-12 17:16:19 | 0:36:42 | 6981 | build successful |
| 10.7 | 28476 | 2020-08-12 17:15:57 | 0:36:03 | 9113 | build successful |
| 10.9 | 124699 | 2020-08-12 17:15:25 | 0:29:11 | 36685 | build successful |
| 10.6 | 15906 | 2020-08-07 2:38:44 | 0:01:18 | 8991 | failed install-dependencies |
| 10.14 | 64954 | 2020-08-07 2:34:42 | 0:41:26 | 18231 | build successful |
| 10.8 | 23119 | 2020-08-07 2:33:40 | 0:41:40 | 6853 | build successful |
| 10.7 | 28083 | 2020-08-07 2:32:50 | 0:40:51 | 8985 | build successful |
| 10.11 | 119201 | 2020-08-07 2:31:25 | 0:32:54 | 36550 | build successful |
| 10.10 | 120811 | 2020-08-07 2:31:12 | 0:45:24 | 36607 | build successful |
| 10.13 | 89080 | 2020-08-07 2:30:53 | 0:42:17 | 27503 | build successful |
| 10.15 | 35741 | 2020-08-07 2:30:41 | 0:32:04 | 7784 | build successful |
| 10.6.x86_64 | 31889 | 2020-08-07 2:30:25 | 0:36:29 | 8998 | build successful |
| 10.9 | 124312 | 2020-08-07 2:30:13 | 0:28:21 | 36557 | build successful |
| 10.12 | 124518 | 2020-08-07 2:29:52 | 0:26:28 | 35548 | build successful |
| 10.6 | 15801 | 2020-08-05 5:26:37 | 0:01:11 | 8916 | failed install-dependencies |
| 10.13 | 88904 | 2020-08-04 18:35:04 | 0:01:32 | 27413 | build successful |
| 10.6 | 15784 | 2020-08-04 17:54:24 | 0:01:25 | 8901 | failed install-dependencies |