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 5 of 5 | Showing build(s) 401 to 498
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.7 | 14983 | 2020-01-21 19:04:24 | 0:31:15 | 3602 | build successful |
| 10.6 | 7420 | 2020-01-14 20:42:36 | 0:01:35 | 3436 | failed install-dependencies |
| 10.6.x86_64 | 15000 | 2020-01-14 11:17:14 | 0:02:17 | 3419 | failed install-dependencies |
| 10.8 | 12648 | 2020-01-14 6:38:46 | 0:01:19 | 3413 | build successful |
| 10.15 | 20850 | 2020-01-14 5:21:46 | 0:39:03 | 2245 | build successful |
| 10.14 | 50477 | 2020-01-14 5:21:32 | 0:34:49 | 12699 | build successful |
| 10.13 | 75691 | 2020-01-14 5:21:06 | 0:36:35 | 21979 | build successful |
| 10.12 | 110968 | 2020-01-14 5:20:34 | 0:32:29 | 30004 | build successful |
| 10.10 | 107393 | 2020-01-14 5:19:38 | 0:34:13 | 31070 | build successful |
| 10.11 | 105871 | 2020-01-14 5:18:07 | 0:40:27 | 31022 | build successful |
| 10.9 | 109977 | 2020-01-14 5:15:53 | 0:35:52 | 31012 | build successful |
| 10.7 | 14071 | 2020-01-14 5:14:35 | 0:25:15 | 3416 | build successful |
| 10.15 | 10220 | 2019-12-06 15:33:16 | 0:29:57 | 1090 | build successful |
| 10.6 | 5308 | 2019-11-30 23:32:53 | 0:01:29 | 2310 | failed install-dependencies |
| 10.6.x86_64 | 11649 | 2019-11-30 23:19:01 | 0:01:13 | 2310 | failed install-dependencies |
| 10.6 | 5253 | 2019-11-30 5:17:26 | 0:01:40 | 2293 | failed install-dependencies |
| 10.6.x86_64 | 11576 | 2019-11-30 4:17:46 | 0:01:14 | 2293 | failed install-dependencies |
| 10.14 | 47448 | 2019-11-30 1:41:38 | 0:27:51 | 11580 | build successful |
| 10.13 | 72771 | 2019-11-30 1:36:19 | 0:32:10 | 20860 | build successful |
| 10.11 | 103022 | 2019-11-30 1:25:39 | 0:35:10 | 29901 | build successful |
| 10.12 | 107933 | 2019-11-30 1:25:39 | 0:30:36 | 28884 | build successful |
| 10.8 | 9582 | 2019-11-30 1:20:48 | 0:33:38 | 2287 | build successful |
| 10.7 | 10755 | 2019-11-30 1:07:31 | 0:24:54 | 2289 | build successful |
| 10.10 | 104362 | 2019-11-30 0:59:22 | 0:27:02 | 29949 | build successful |
| 10.9 | 107077 | 2019-11-30 0:58:01 | 0:26:47 | 29893 | build successful |
| 10.6 | 3363 | 2019-11-15 4:55:38 | 0:02:07 | 1262 | failed install-dependencies |
| 10.6 | 3357 | 2019-11-15 4:44:51 | 0:01:28 | 1259 | failed install-dependencies |
| 10.6 | 3352 | 2019-11-15 4:26:24 | 0:01:32 | 1258 | failed install-dependencies |
| 10.6 | 3236 | 2019-11-14 11:59:44 | 0:01:41 | 1171 | failed install-dependencies |
| 10.6 | 3080 | 2019-11-13 4:10:28 | 0:01:32 | 1059 | failed install-dependencies |
| 10.6 | 3006 | 2019-11-12 14:26:11 | 0:01:47 | 992 | failed install-dependencies |
| 10.6.x86_64 | 6977 | 2019-11-11 7:20:00 | 0:01:12 | 1264 | failed install-dependencies |
| 10.6.x86_64 | 6971 | 2019-11-11 7:10:50 | 0:01:11 | 1261 | failed install-dependencies |
| 10.6.x86_64 | 6966 | 2019-11-11 7:04:16 | 0:01:11 | 1260 | failed install-dependencies |
| 10.6.x86_64 | 6717 | 2019-11-10 11:35:59 | 0:01:13 | 1173 | failed install-dependencies |
| 10.6.x86_64 | 6428 | 2019-11-09 7:42:30 | 0:01:14 | 1061 | failed install-dependencies |
| 10.6.x86_64 | 6265 | 2019-11-08 17:38:32 | 0:01:17 | 994 | failed install-dependencies |
| 10.6 | 2577 | 2019-11-07 19:48:51 | 0:01:41 | 831 | failed install-dependencies |
| 10.6.x86_64 | 5178 | 2019-11-04 17:26:38 | 0:01:17 | 833 | failed install-dependencies |
| 10.15 | 1375 | 2019-11-04 16:00:46 | 0:29:29 | 51 | build successful |
| 10.6 | 2158 | 2019-11-04 6:53:11 | 0:01:34 | 666 | failed install-dependencies |
| 10.6 | 2126 | 2019-11-04 0:20:07 | 0:01:43 | 646 | failed install-dependencies |
| 10.8 | 4265 | 2019-11-01 16:22:34 | 0:25:20 | 644 | build successful |
| 10.6.x86_64 | 4246 | 2019-11-01 16:11:11 | 0:01:13 | 668 | failed install-dependencies |
| 10.6.x86_64 | 4193 | 2019-11-01 12:29:59 | 0:01:36 | 648 | failed install-dependencies |
| 10.7 | 4431 | 2019-11-01 11:56:59 | 0:27:19 | 645 | build successful |
| 10.13 | 69588 | 2019-10-29 2:29:32 | 0:32:16 | 19837 | build successful |
| 10.14 | 44190 | 2019-10-28 19:39:04 | 0:44:35 | 10557 | build successful |
| 10.9 | 103909 | 2019-10-28 19:37:59 | 0:42:41 | 28867 | build successful |
| 10.10 | 101096 | 2019-10-28 19:22:59 | 0:27:05 | 28921 | build successful |
| 10.11 | 99894 | 2019-10-28 19:21:17 | 0:26:51 | 28879 | build successful |
| 10.12 | 104638 | 2019-10-28 19:19:16 | 0:29:10 | 27862 | build successful |
| 10.10 | 101091 | 2019-10-28 18:32:41 | 0:02:00 | 28920 | failed install-port |
| 10.11 | 99889 | 2019-10-28 18:06:12 | 0:03:04 | 28878 | failed install-port |
| 10.14 | 44185 | 2019-10-28 18:05:32 | 0:02:16 | 10556 | failed install-port |
| 10.11 | 99680 | 2019-10-26 22:44:06 | 0:02:34 | 28791 | failed install-port |
| 10.13 | 69098 | 2019-10-26 13:07:31 | 0:02:37 | 19637 | failed install-port |
| 10.10 | 100871 | 2019-10-26 6:06:32 | 0:02:48 | 28833 | failed install-port |
| 10.14 | 43910 | 2019-10-26 4:39:37 | 0:02:13 | 10467 | failed install-port |
| 10.13 | 68998 | 2019-10-25 21:24:19 | 0:02:42 | 19570 | failed install-port |
| 10.11 | 99377 | 2019-10-25 8:21:55 | 0:02:14 | 28679 | failed install-port |
| 10.11 | 99281 | 2019-10-24 20:50:33 | 0:02:11 | 28612 | failed install-port |
| 10.10 | 100456 | 2019-10-23 15:16:00 | 0:02:00 | 28720 | failed install-port |
| 10.13 | 68359 | 2019-10-23 7:14:00 | 0:02:26 | 19409 | failed install-port |
| 10.10 | 100335 | 2019-10-23 4:52:47 | 0:02:05 | 28653 | failed install-port |
| 10.14 | 43550 | 2019-10-23 3:43:09 | 0:02:47 | 10354 | failed install-port |
| 10.9 | 103235 | 2019-10-22 21:07:35 | 0:30:29 | 28666 | build successful |
| 10.12 | 104011 | 2019-10-22 20:54:58 | 0:25:50 | 27661 | build successful |
| 10.14 | 43439 | 2019-10-22 15:40:00 | 0:22:50 | 10287 | build successful |
| 10.11 | 98615 | 2019-10-22 9:08:06 | 0:27:21 | 28451 | build successful |
| 10.12 | 103836 | 2019-10-21 22:58:39 | 0:26:07 | 27592 | build successful |
| 10.9 | 103053 | 2019-10-21 17:22:43 | 0:28:40 | 28597 | build successful |
| 10.13 | 67872 | 2019-10-16 22:33:44 | 0:31:11 | 19224 | build successful |
| 10.11 | 98119 | 2019-10-16 0:29:02 | 0:27:32 | 28265 | build successful |
| 10.12 | 102596 | 2019-10-15 19:14:20 | 0:27:44 | 27245 | build successful |
| 10.14 | 42220 | 2019-10-15 13:57:57 | 0:22:46 | 9940 | build successful |
| 10.10 | 98758 | 2019-10-15 10:08:26 | 0:37:59 | 28306 | build successful |
| 10.9 | 101480 | 2019-10-14 17:01:30 | 0:28:08 | 28250 | build successful |
| 10.11 | 95800 | 2019-10-03 3:01:42 | 0:38:51 | 27982 | build successful |
| 10.10 | 96345 | 2019-10-03 2:55:51 | 0:33:36 | 28024 | build successful |
| 10.13 | 65505 | 2019-10-03 2:53:26 | 0:35:22 | 18942 | build successful |
| 10.9 | 98919 | 2019-10-03 2:49:52 | 0:30:45 | 27968 | build successful |
| 10.12 | 100215 | 2019-10-03 2:47:41 | 0:32:52 | 26963 | build successful |
| 10.14 | 39780 | 2019-10-03 2:42:05 | 0:26:41 | 9658 | build successful |
| 10.9 | 98832 | 2019-10-01 4:53:34 | 0:35:12 | 27923 | build successful |
| 10.13 | 65381 | 2019-10-01 3:42:36 | 0:29:30 | 18875 | build successful |
| 10.10 | 96260 | 2019-10-01 3:37:45 | 0:36:58 | 27979 | build successful |
| 10.11 | 95663 | 2019-10-01 2:27:45 | 0:38:04 | 27915 | build successful |
| 10.12 | 100067 | 2019-10-01 1:54:37 | 0:36:10 | 26896 | build successful |
| 10.14 | 39656 | 2019-10-01 1:49:58 | 0:24:55 | 9591 | build successful |
| 10.9 | 98785 | 2019-10-01 0:04:17 | 0:30:34 | 27901 | build successful |
| 10.10 | 96212 | 2019-09-30 21:54:49 | 0:32:34 | 27957 | build successful |
| 10.14 | 39467 | 2019-09-28 3:35:52 | 0:23:06 | 9523 | build successful |
| 10.12 | 99878 | 2019-09-28 3:01:49 | 0:03:59 | 26828 | failed install-port |
| 10.11 | 95474 | 2019-09-28 3:01:33 | 0:03:49 | 27847 | failed install-port |
| 10.13 | 65192 | 2019-09-28 3:01:04 | 0:03:57 | 18807 | failed install-port |
| 10.10 | 96022 | 2019-09-28 3:00:46 | 0:03:28 | 27889 | failed install-port |
| 10.9 | 98595 | 2019-09-28 2:57:23 | 0:02:46 | 27833 | failed install-port |