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 1 of 5 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 157449 | 2021-08-25 22:48:52 | 0:41:17 | 48502 | build successful |
| 10.11 | 151816 | 2021-08-25 22:15:17 | 0:33:19 | 48753 | build successful |
| 10.10 | 153190 | 2021-08-25 22:13:50 | 0:21:49 | 48816 | build successful |
| 11 | 43659 | 2021-08-25 16:41:26 | 0:31:18 | 9197 | build successful |
| 10.15 | 68973 | 2021-08-25 16:41:11 | 0:27:16 | 19383 | build successful |
| 10.11 | 151770 | 2021-08-25 16:41:02 | 0:01:22 | 48740 | failed install-dependencies |
| 10.6 | 38607 | 2021-08-25 16:40:43 | 0:01:52 | 21203 | failed install-dependencies |
| 10.12 | 156689 | 2021-08-25 16:40:43 | 0:27:47 | 47728 | build successful |
| 10.14 | 97593 | 2021-08-25 16:40:33 | 0:28:18 | 30390 | build successful |
| 10.9 | 157393 | 2021-08-25 16:40:20 | 0:01:32 | 48489 | failed install-dependencies |
| 10.6.x86_64 | 70953 | 2021-08-25 16:40:07 | 0:01:39 | 21174 | failed install-dependencies |
| 10.13 | 121082 | 2021-08-25 16:39:53 | 0:25:00 | 39680 | build successful |
| 10.10 | 153144 | 2021-08-25 16:39:46 | 0:01:36 | 48803 | failed install-dependencies |
| 10.8 | 58497 | 2021-08-25 16:39:07 | 0:01:17 | 19070 | failed install-dependencies |
| 10.7 | 66036 | 2021-08-25 16:39:07 | 0:01:14 | 21211 | failed install-dependencies |
| 11.arm64 | 28200 | 2021-08-25 16:39:00 | 0:13:37 | 9384 | build successful |
| 10.6.x86_64 | 59076 | 2021-06-09 7:03:32 | 0:01:37 | 18809 | failed install-dependencies |
| 10.6 | 33193 | 2021-06-09 6:59:51 | 0:02:30 | 18843 | failed install-dependencies |
| 10.8 | 49022 | 2021-06-09 6:06:12 | 0:01:12 | 16710 | failed install-dependencies |
| 10.7 | 55474 | 2021-06-09 6:02:33 | 0:01:09 | 18849 | failed install-dependencies |
| 10.8 | 47247 | 2021-05-21 16:01:55 | 0:01:22 | 16072 | failed install-dependencies |
| 10.7 | 53671 | 2021-05-21 15:53:09 | 0:01:26 | 18211 | failed install-dependencies |
| 10.6.x86_64 | 57233 | 2021-05-21 15:53:01 | 0:01:36 | 18172 | failed install-dependencies |
| 10.6 | 31839 | 2021-05-21 15:32:38 | 0:01:58 | 18203 | failed install-dependencies |
| 10.7 | 52766 | 2021-05-14 1:25:06 | 0:01:40 | 17854 | failed install-dependencies |
| 10.14 | 86608 | 2021-05-13 9:56:04 | 0:37:12 | 27043 | build successful |
| 11 | 30406 | 2021-05-13 7:57:41 | 0:29:34 | 5845 | build successful |
| 10.8 | 46408 | 2021-05-13 7:01:32 | 0:01:15 | 15715 | failed install-dependencies |
| 10.11 | 141424 | 2021-05-13 3:14:32 | 0:28:58 | 45390 | build successful |
| 10.6.x86_64 | 56327 | 2021-05-13 0:20:18 | 0:02:03 | 17811 | failed install-dependencies |
| 10.6 | 31281 | 2021-05-12 23:12:02 | 0:02:28 | 17843 | failed install-dependencies |
| 10.12 | 146473 | 2021-05-12 19:08:19 | 0:27:52 | 44382 | build successful |
| 10.9 | 146668 | 2021-05-12 6:49:54 | 0:48:09 | 45100 | build successful |
| 10.13 | 110661 | 2021-05-12 6:30:04 | 0:48:22 | 36300 | build successful |
| 10.10 | 142660 | 2021-05-12 6:10:50 | 0:45:41 | 45421 | build successful |
| 10.15 | 57462 | 2021-05-12 4:40:45 | 0:53:00 | 16005 | build successful |
| 11.arm64 | 20258 | 2021-05-12 1:15:35 | 0:13:27 | 6004 | build successful |
| 10.7 | 52411 | 2021-05-11 5:03:56 | 0:01:09 | 17819 | failed install-dependencies |
| 10.8 | 46099 | 2021-05-11 4:58:52 | 0:01:52 | 15680 | failed install-dependencies |
| 10.6 | 30994 | 2021-05-11 4:17:24 | 0:01:44 | 17808 | failed install-dependencies |
| 10.6.x86_64 | 56034 | 2021-05-11 4:06:01 | 0:01:31 | 17776 | failed install-dependencies |
| 10.6.x86_64 | 55584 | 2021-05-08 21:11:25 | 0:01:15 | 17683 | failed install-dependencies |
| 10.9 | 146276 | 2021-05-07 5:07:33 | 0:30:41 | 44938 | build successful |
| 10.10 | 142278 | 2021-05-07 4:52:53 | 0:29:14 | 45259 | build successful |
| 10.13 | 110325 | 2021-05-07 4:34:48 | 0:37:54 | 36138 | build successful |
| 10.12 | 145815 | 2021-05-07 3:59:19 | 0:24:54 | 44183 | build successful |
| 10.15 | 57127 | 2021-05-07 3:23:02 | 0:51:27 | 15843 | build successful |
| 10.11 | 140765 | 2021-05-07 2:38:00 | 0:23:55 | 45194 | build successful |
| 11 | 29754 | 2021-05-07 2:08:22 | 0:34:26 | 5645 | build successful |
| 10.14 | 85987 | 2021-05-07 1:53:18 | 0:26:21 | 26846 | build successful |
| 11.arm64 | 19779 | 2021-05-06 23:27:12 | 0:15:56 | 5808 | build successful |
| 11 | 29029 | 2021-04-28 2:39:43 | 0:01:06 | 5328 | failed install-dependencies |
| 10.14 | 85271 | 2021-04-28 2:14:37 | 0:00:53 | 26532 | failed install-dependencies |
| 10.8 | 45061 | 2021-04-28 2:08:00 | 0:01:14 | 15208 | failed install-dependencies |
| 10.11 | 140031 | 2021-04-28 2:07:37 | 0:00:41 | 44882 | failed install-dependencies |
| 10.10 | 141541 | 2021-04-28 2:05:56 | 0:00:53 | 44947 | failed install-dependencies |
| 10.13 | 109616 | 2021-04-28 2:05:40 | 0:00:48 | 35826 | failed install-dependencies |
| 10.6 | 30211 | 2021-04-28 2:04:55 | 0:01:22 | 17341 | failed install-dependencies |
| 10.12 | 145100 | 2021-04-28 2:04:14 | 0:00:50 | 43870 | failed install-dependencies |
| 10.15 | 56396 | 2021-04-28 2:02:10 | 0:01:30 | 15531 | failed install-dependencies |
| 10.9 | 145524 | 2021-04-28 1:58:42 | 0:01:16 | 44622 | failed install-dependencies |
| 10.6.x86_64 | 54667 | 2021-04-28 1:53:28 | 0:01:34 | 17309 | failed install-dependencies |
| 11.arm64 | 19067 | 2021-04-28 1:49:19 | 0:00:19 | 5488 | failed install-dependencies |
| 10.7 | 51402 | 2021-04-28 1:48:10 | 0:01:15 | 17352 | failed install-dependencies |
| 11.arm64 | 15403 | 2021-03-19 17:01:02 | 0:00:16 | 3916 | failed install-dependencies |
| 11.arm64 | 9795 | 2021-01-21 17:46:59 | 0:00:02 | 2327 | failed install-dependencies |
| 10.14 | 76728 | 2021-01-20 6:58:18 | 0:05:35 | 23309 | build successful |
| 10.15 | 48370 | 2021-01-20 6:44:56 | 0:03:44 | 12894 | build successful |
| 10.9 | 136693 | 2021-01-20 6:19:09 | 0:03:07 | 41666 | build successful |
| 10.11 | 131132 | 2021-01-20 6:18:55 | 0:38:21 | 41657 | build successful |
| 10.13 | 101044 | 2021-01-20 6:18:24 | 0:33:15 | 32617 | build successful |
| 11 | 15749 | 2021-01-20 6:18:12 | 0:36:38 | 2097 | build successful |
| 10.10 | 132816 | 2021-01-20 6:17:33 | 0:32:59 | 41715 | build successful |
| 11.arm64 | 9622 | 2021-01-20 6:16:05 | 0:00:02 | 2241 | failed install-dependencies |
| 10.12 | 136292 | 2021-01-20 6:16:03 | 0:40:06 | 40649 | build successful |
| 10.6 | 24578 | 2021-01-20 5:57:36 | 0:01:28 | 14118 | failed install-dependencies |
| 10.7 | 41366 | 2021-01-20 5:55:08 | 0:01:04 | 14108 | failed install-dependencies |
| 10.6.x86_64 | 45744 | 2021-01-20 5:55:02 | 0:01:05 | 14130 | failed install-dependencies |
| 10.8 | 35785 | 2021-01-20 5:54:30 | 0:01:18 | 11965 | failed install-dependencies |
| 10.6.x86_64 | 42668 | 2020-12-26 0:40:05 | 0:01:01 | 13372 | failed install-dependencies |
| 10.6 | 22586 | 2020-12-26 0:37:23 | 0:01:53 | 13365 | failed install-dependencies |
| 10.8 | 33503 | 2020-12-25 22:44:39 | 0:01:12 | 11225 | failed install-dependencies |
| 10.7 | 38813 | 2020-12-25 22:34:31 | 0:01:05 | 13361 | failed install-dependencies |
| 11.arm64 | 6203 | 2020-12-25 22:20:44 | 0:00:02 | 1449 | failed install-dependencies |
| 10.9 | 134464 | 2020-12-25 22:17:38 | 0:24:27 | 40925 | build successful |
| 11 | 7013 | 2020-12-13 20:56:56 | 1:15:30 | 697 | build successful |
| 10.12 | 132512 | 2020-12-04 22:45:51 | 0:01:54 | 39260 | build successful |
| 10.10 | 128975 | 2020-12-04 20:42:14 | 0:29:55 | 40320 | build successful |
| 10.13 | 97156 | 2020-12-04 20:42:03 | 0:28:38 | 31218 | build successful |
| 10.14 | 73124 | 2020-12-04 19:57:30 | 0:27:02 | 21944 | build successful |
| 10.7 | 36900 | 2020-12-04 19:37:49 | 0:01:38 | 12704 | failed install-dependencies |
| 10.15 | 44460 | 2020-12-04 19:12:14 | 0:01:19 | 11498 | build successful |
| 10.6 | 21494 | 2020-12-04 18:58:42 | 0:01:37 | 12708 | failed install-dependencies |
| 10.11 | 127303 | 2020-12-04 18:40:59 | 0:29:43 | 40264 | build successful |
| 10.8 | 31661 | 2020-12-04 18:22:34 | 0:01:14 | 10568 | failed install-dependencies |
| 10.9 | 132708 | 2020-12-04 18:22:17 | 0:00:52 | 40270 | failed install-dependencies |
| 10.6.x86_64 | 40776 | 2020-12-04 18:22:01 | 0:01:03 | 12716 | failed install-dependencies |
| 11.arm64 | 4721 | 2020-12-04 18:21:43 | 0:00:02 | 785 | failed install-dependencies |
| 10.15 | 39095 | 2020-09-28 19:39:45 | 0:33:26 | 9312 | build successful |
| 10.14 | 68103 | 2020-09-28 19:39:36 | 0:40:07 | 19759 | build successful |