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 1 of 6 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 157450 | 2021-08-25 23:30:11 | 0:10:21 | 48502 | build successful |
| 10.11 | 151817 | 2021-08-25 22:48:39 | 0:09:24 | 48753 | build successful |
| 10.10 | 153191 | 2021-08-25 22:35:41 | 0:06:01 | 48816 | build successful |
| 11 | 43660 | 2021-08-25 17:12:46 | 0:08:43 | 9197 | build successful |
| 10.14 | 97594 | 2021-08-25 17:08:53 | 0:06:50 | 30390 | build successful |
| 10.12 | 156690 | 2021-08-25 17:08:32 | 0:06:42 | 47728 | build successful |
| 10.15 | 68974 | 2021-08-25 17:08:30 | 0:07:34 | 19383 | build successful |
| 10.13 | 121083 | 2021-08-25 17:04:56 | 0:06:02 | 39680 | build successful |
| 11.arm64 | 28201 | 2021-08-25 16:52:39 | 0:02:24 | 9384 | build successful |
| 10.6 | 38608 | 2021-08-25 16:42:36 | 0:02:00 | 21203 | failed install-dependencies |
| 10.11 | 151771 | 2021-08-25 16:42:26 | 0:01:28 | 48740 | failed install-dependencies |
| 10.9 | 157394 | 2021-08-25 16:41:54 | 0:01:37 | 48489 | failed install-dependencies |
| 10.6.x86_64 | 70954 | 2021-08-25 16:41:48 | 0:01:45 | 21174 | failed install-dependencies |
| 10.10 | 153145 | 2021-08-25 16:41:24 | 0:01:48 | 48803 | failed install-dependencies |
| 10.8 | 58498 | 2021-08-25 16:40:27 | 0:01:23 | 19070 | failed install-dependencies |
| 10.7 | 66037 | 2021-08-25 16:40:23 | 0:01:23 | 21211 | failed install-dependencies |
| 10.8 | 49028 | 2021-06-09 9:06:45 | 0:01:25 | 16710 | failed install-dependencies |
| 10.7 | 55482 | 2021-06-09 9:05:50 | 0:01:31 | 18849 | failed install-dependencies |
| 10.6 | 33200 | 2021-06-09 7:39:42 | 0:02:34 | 18843 | failed install-dependencies |
| 10.6.x86_64 | 59079 | 2021-06-09 7:16:55 | 0:01:48 | 18809 | failed install-dependencies |
| 11 | 31178 | 2021-05-21 16:17:33 | 0:09:28 | 6203 | build successful |
| 10.14 | 87321 | 2021-05-21 16:12:23 | 0:07:57 | 27399 | build successful |
| 10.15 | 58431 | 2021-05-21 16:04:57 | 0:07:08 | 16396 | build successful |
| 10.8 | 47248 | 2021-05-21 16:03:19 | 0:01:27 | 16072 | failed install-dependencies |
| 10.11 | 142105 | 2021-05-21 16:00:16 | 0:07:00 | 45746 | build successful |
| 10.13 | 111632 | 2021-05-21 15:57:17 | 0:06:10 | 36691 | build successful |
| 10.7 | 53672 | 2021-05-21 15:54:43 | 0:01:29 | 18211 | failed install-dependencies |
| 10.6.x86_64 | 57234 | 2021-05-21 15:54:43 | 0:01:40 | 18172 | failed install-dependencies |
| 10.10 | 143612 | 2021-05-21 15:53:37 | 0:06:30 | 45812 | build successful |
| 10.12 | 147186 | 2021-05-21 15:52:52 | 0:06:40 | 44738 | build successful |
| 10.9 | 147648 | 2021-05-21 15:52:42 | 0:06:20 | 45492 | build successful |
| 10.6 | 31841 | 2021-05-21 15:36:45 | 0:02:01 | 18203 | failed install-dependencies |
| 11.arm64 | 20748 | 2021-05-21 15:32:01 | 0:02:29 | 6377 | build successful |
| 10.7 | 52767 | 2021-05-14 1:26:47 | 0:01:50 | 17854 | failed install-dependencies |
| 10.14 | 86609 | 2021-05-13 10:33:19 | 0:08:38 | 27043 | build successful |
| 11 | 30407 | 2021-05-13 8:27:17 | 0:08:06 | 5845 | build successful |
| 10.8 | 46409 | 2021-05-13 7:02:48 | 0:01:17 | 15715 | failed install-dependencies |
| 10.11 | 141425 | 2021-05-13 3:43:35 | 0:07:08 | 45390 | build successful |
| 10.6.x86_64 | 56328 | 2021-05-13 0:22:23 | 0:02:09 | 17811 | failed install-dependencies |
| 10.6 | 31282 | 2021-05-12 23:14:32 | 0:02:34 | 17843 | failed install-dependencies |
| 10.12 | 146474 | 2021-05-12 19:36:14 | 0:07:20 | 44382 | build successful |
| 10.9 | 146669 | 2021-05-12 7:38:05 | 0:09:36 | 45100 | build successful |
| 10.13 | 110662 | 2021-05-12 7:18:29 | 0:09:34 | 36300 | build successful |
| 10.10 | 142661 | 2021-05-12 6:56:34 | 0:09:36 | 45421 | build successful |
| 10.15 | 57463 | 2021-05-12 5:33:48 | 0:10:24 | 16005 | build successful |
| 11.arm64 | 20259 | 2021-05-12 1:29:05 | 0:02:26 | 6004 | build successful |
| 10.11 | 141137 | 2021-05-11 14:51:51 | 0:08:42 | 45355 | build successful |
| 10.14 | 86317 | 2021-05-11 10:39:02 | 0:08:19 | 27008 | build successful |
| 10.12 | 146183 | 2021-05-11 8:21:22 | 0:06:26 | 44347 | build successful |
| 11 | 30096 | 2021-05-11 8:10:38 | 0:08:45 | 5810 | build successful |
| 10.7 | 52412 | 2021-05-11 5:05:07 | 0:01:15 | 17819 | failed install-dependencies |
| 10.8 | 46100 | 2021-05-11 5:00:46 | 0:01:48 | 15680 | failed install-dependencies |
| 10.6 | 30996 | 2021-05-11 4:21:00 | 0:01:51 | 17808 | failed install-dependencies |
| 10.6.x86_64 | 56035 | 2021-05-11 4:07:34 | 0:01:43 | 17776 | failed install-dependencies |
| 11.arm64 | 19972 | 2021-05-11 3:16:59 | 0:02:24 | 5969 | build successful |
| 10.6.x86_64 | 55596 | 2021-05-08 22:25:10 | 0:01:21 | 17683 | failed install-dependencies |
| 10.10 | 142378 | 2021-05-08 12:41:52 | 0:06:45 | 45288 | build successful |
| 10.9 | 146378 | 2021-05-08 12:19:17 | 0:07:06 | 44967 | build successful |
| 10.15 | 57220 | 2021-05-08 11:56:01 | 0:09:59 | 15872 | build successful |
| 10.13 | 110421 | 2021-05-08 10:24:41 | 0:12:23 | 36167 | build successful |
| 10.14 | 86080 | 2021-05-08 4:19:27 | 0:08:39 | 26875 | build successful |
| 10.11 | 140863 | 2021-05-08 3:48:58 | 0:07:42 | 45222 | build successful |
| 10.12 | 145910 | 2021-05-07 23:50:46 | 0:07:30 | 44212 | build successful |
| 11 | 29843 | 2021-05-07 22:09:33 | 0:08:16 | 5674 | build successful |
| 11.arm64 | 19807 | 2021-05-07 15:22:30 | 0:01:59 | 5836 | failed install-port |
| 11 | 29033 | 2021-04-28 2:43:52 | 0:01:13 | 5328 | failed install-dependencies |
| 10.14 | 85275 | 2021-04-28 2:19:20 | 0:00:58 | 26532 | failed install-dependencies |
| 10.11 | 140035 | 2021-04-28 2:11:38 | 0:00:44 | 44882 | failed install-dependencies |
| 10.10 | 141545 | 2021-04-28 2:10:17 | 0:01:00 | 44947 | failed install-dependencies |
| 10.13 | 109620 | 2021-04-28 2:10:07 | 0:00:53 | 35826 | failed install-dependencies |
| 10.8 | 45065 | 2021-04-28 2:10:04 | 0:01:21 | 15208 | failed install-dependencies |
| 10.6 | 30216 | 2021-04-28 2:09:42 | 0:01:25 | 17341 | failed install-dependencies |
| 10.12 | 145104 | 2021-04-28 2:08:28 | 0:00:58 | 43870 | failed install-dependencies |
| 10.15 | 56400 | 2021-04-28 2:06:50 | 0:01:33 | 15531 | failed install-dependencies |
| 10.9 | 145528 | 2021-04-28 2:02:41 | 0:01:17 | 44622 | failed install-dependencies |
| 10.6.x86_64 | 54671 | 2021-04-28 1:57:21 | 0:01:41 | 17309 | failed install-dependencies |
| 11.arm64 | 19072 | 2021-04-28 1:50:45 | 0:00:20 | 5488 | failed install-dependencies |
| 10.7 | 51406 | 2021-04-28 1:50:13 | 0:01:21 | 17352 | failed install-dependencies |
| 11.arm64 | 15411 | 2021-03-19 17:02:38 | 0:00:21 | 3916 | failed install-dependencies |
| 11.arm64 | 9803 | 2021-01-21 17:47:27 | 0:00:02 | 2327 | failed install-dependencies |
| 10.11 | 131133 | 2021-01-20 6:57:19 | 0:09:55 | 41657 | build successful |
| 10.12 | 136293 | 2021-01-20 6:56:16 | 0:07:15 | 40649 | build successful |
| 11 | 15750 | 2021-01-20 6:54:54 | 0:08:57 | 2097 | build successful |
| 10.13 | 101045 | 2021-01-20 6:51:54 | 0:07:46 | 32617 | build successful |
| 10.10 | 132817 | 2021-01-20 6:51:10 | 0:07:19 | 41715 | build successful |
| 10.9 | 136694 | 2021-01-20 6:22:20 | 0:00:48 | 41666 | build successful |
| 10.14 | 76727 | 2021-01-20 6:18:45 | 0:39:22 | 23309 | build successful |
| 10.15 | 48369 | 2021-01-20 6:17:45 | 0:27:05 | 12894 | build successful |
| 11.arm64 | 9630 | 2021-01-20 6:16:39 | 0:00:06 | 2241 | failed install-dependencies |
| 10.6 | 24579 | 2021-01-20 5:59:16 | 0:01:46 | 14118 | failed install-dependencies |
| 10.8 | 35786 | 2021-01-20 5:55:53 | 0:01:48 | 11965 | failed install-dependencies |
| 10.7 | 41365 | 2021-01-20 5:53:43 | 0:01:19 | 14108 | failed install-dependencies |
| 10.6.x86_64 | 45743 | 2021-01-20 5:53:21 | 0:01:10 | 14130 | failed install-dependencies |
| 10.6.x86_64 | 42669 | 2020-12-26 0:41:09 | 0:01:07 | 13372 | failed install-dependencies |
| 10.6 | 22588 | 2020-12-26 0:40:59 | 0:01:45 | 13365 | failed install-dependencies |
| 10.8 | 33504 | 2020-12-25 22:45:52 | 0:01:17 | 11225 | failed install-dependencies |
| 10.9 | 134465 | 2020-12-25 22:42:07 | 0:05:18 | 40925 | build successful |
| 10.7 | 38814 | 2020-12-25 22:35:38 | 0:01:17 | 13361 | failed install-dependencies |
| 11.arm64 | 6206 | 2020-12-25 22:21:06 | 0:00:02 | 1449 | failed install-dependencies |
| 11 | 7014 | 2020-12-13 22:12:29 | 0:18:01 | 697 | build successful |