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 5 of 6 | Showing build(s) 401 to 500
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 111752 | 2020-01-31 4:53:10 | 0:05:52 | 31474 | build successful |
| 10.6 | 9034 | 2020-01-31 4:36:06 | 0:01:45 | 3904 | failed install-dependencies |
| 10.6 | 8474 | 2020-01-25 7:37:36 | 0:01:37 | 3688 | failed install-dependencies |
| 10.6.x86_64 | 16502 | 2020-01-24 22:03:06 | 0:01:23 | 3673 | failed install-dependencies |
| 10.6 | 8424 | 2020-01-24 10:06:14 | 0:02:17 | 3681 | failed install-dependencies |
| 10.8 | 13765 | 2020-01-24 6:26:02 | 0:07:38 | 3653 | build successful |
| 10.6.x86_64 | 16444 | 2020-01-24 5:06:53 | 0:01:47 | 3666 | failed install-dependencies |
| 10.11 | 106740 | 2020-01-24 0:49:12 | 0:09:28 | 31260 | build successful |
| 10.15 | 21996 | 2020-01-23 21:39:41 | 0:08:57 | 2487 | build successful |
| 10.13 | 76564 | 2020-01-23 21:37:50 | 0:08:04 | 22217 | build successful |
| 10.9 | 110881 | 2020-01-23 21:37:49 | 0:06:00 | 31251 | build successful |
| 10.14 | 51527 | 2020-01-23 21:36:19 | 0:06:50 | 12942 | build successful |
| 10.10 | 108274 | 2020-01-23 21:34:29 | 0:06:30 | 31308 | build successful |
| 10.12 | 111844 | 2020-01-23 21:32:01 | 0:07:16 | 30240 | build successful |
| 10.7 | 15242 | 2020-01-23 21:28:56 | 0:06:44 | 3657 | build successful |
| 10.14 | 51313 | 2020-01-21 22:16:53 | 0:06:26 | 12885 | build successful |
| 10.11 | 106544 | 2020-01-21 19:45:57 | 0:07:23 | 31205 | build successful |
| 10.8 | 13514 | 2020-01-21 19:45:05 | 0:06:50 | 3598 | build successful |
| 10.6.x86_64 | 16148 | 2020-01-21 19:43:15 | 0:01:53 | 3610 | failed install-dependencies |
| 10.15 | 21793 | 2020-01-21 19:42:31 | 0:09:35 | 2431 | build successful |
| 10.13 | 76371 | 2020-01-21 19:40:49 | 0:07:11 | 22162 | build successful |
| 10.10 | 108072 | 2020-01-21 19:39:08 | 0:06:48 | 31253 | build successful |
| 10.12 | 111649 | 2020-01-21 19:37:29 | 0:07:30 | 30185 | build successful |
| 10.7 | 14984 | 2020-01-21 19:35:42 | 0:06:29 | 3602 | build successful |
| 10.6 | 8239 | 2020-01-21 19:34:01 | 0:02:42 | 3625 | failed install-dependencies |
| 10.9 | 110676 | 2020-01-21 19:33:58 | 0:06:39 | 31196 | build successful |
| 10.6 | 7421 | 2020-01-14 20:44:13 | 0:01:44 | 3436 | failed install-dependencies |
| 10.6.x86_64 | 15001 | 2020-01-14 11:19:33 | 0:02:28 | 3419 | failed install-dependencies |
| 10.8 | 12649 | 2020-01-14 6:40:08 | 0:01:37 | 3413 | build successful |
| 10.15 | 20851 | 2020-01-14 6:00:52 | 0:11:19 | 2245 | build successful |
| 10.11 | 105872 | 2020-01-14 5:58:40 | 0:09:18 | 31022 | build successful |
| 10.13 | 75692 | 2020-01-14 5:57:45 | 0:09:05 | 21979 | build successful |
| 10.14 | 50478 | 2020-01-14 5:56:24 | 0:07:29 | 12699 | build successful |
| 10.10 | 107394 | 2020-01-14 5:53:55 | 0:08:21 | 31070 | build successful |
| 10.12 | 110969 | 2020-01-14 5:53:07 | 0:08:25 | 30004 | build successful |
| 10.9 | 109978 | 2020-01-14 5:51:48 | 0:06:48 | 31012 | build successful |
| 10.7 | 14072 | 2020-01-14 5:39:52 | 0:08:33 | 3416 | build successful |
| 10.15 | 10221 | 2019-12-06 16:03:17 | 0:06:38 | 1090 | build successful |
| 10.6 | 5310 | 2019-11-30 23:36:03 | 0:01:42 | 2310 | failed install-dependencies |
| 10.6.x86_64 | 11651 | 2019-11-30 23:21:51 | 0:01:18 | 2310 | failed install-dependencies |
| 10.6 | 5255 | 2019-11-30 5:20:48 | 0:01:34 | 2293 | failed install-dependencies |
| 10.6.x86_64 | 11578 | 2019-11-30 4:20:43 | 0:01:22 | 2293 | failed install-dependencies |
| 10.14 | 47449 | 2019-11-30 2:09:35 | 0:06:42 | 11580 | build successful |
| 10.13 | 72772 | 2019-11-30 2:08:35 | 0:09:10 | 20860 | build successful |
| 10.11 | 103023 | 2019-11-30 2:00:52 | 0:07:35 | 29901 | build successful |
| 10.12 | 107934 | 2019-11-30 1:56:19 | 0:06:49 | 28884 | build successful |
| 10.8 | 9583 | 2019-11-30 1:54:42 | 0:07:44 | 2287 | build successful |
| 10.7 | 10756 | 2019-11-30 1:32:27 | 0:06:59 | 2289 | build successful |
| 10.10 | 104363 | 2019-11-30 1:26:26 | 0:06:25 | 29949 | build successful |
| 10.9 | 107078 | 2019-11-30 1:24:51 | 0:05:30 | 29893 | build successful |
| 10.6 | 3365 | 2019-11-15 4:59:21 | 0:01:36 | 1262 | failed install-dependencies |
| 10.6 | 3359 | 2019-11-15 4:47:57 | 0:01:38 | 1259 | failed install-dependencies |
| 10.6 | 3354 | 2019-11-15 4:29:39 | 0:01:43 | 1258 | failed install-dependencies |
| 10.6 | 3238 | 2019-11-14 12:03:06 | 0:01:41 | 1171 | failed install-dependencies |
| 10.6 | 3082 | 2019-11-13 4:13:42 | 0:01:38 | 1059 | failed install-dependencies |
| 10.6 | 3008 | 2019-11-12 14:29:42 | 0:01:40 | 992 | failed install-dependencies |
| 10.6.x86_64 | 6979 | 2019-11-11 7:22:30 | 0:01:19 | 1264 | failed install-dependencies |
| 10.6.x86_64 | 6973 | 2019-11-11 7:13:22 | 0:01:19 | 1261 | failed install-dependencies |
| 10.6.x86_64 | 6968 | 2019-11-11 7:06:45 | 0:01:19 | 1260 | failed install-dependencies |
| 10.6.x86_64 | 6719 | 2019-11-10 11:38:36 | 0:01:20 | 1173 | failed install-dependencies |
| 10.6.x86_64 | 6430 | 2019-11-09 7:45:04 | 0:01:20 | 1061 | failed install-dependencies |
| 10.6.x86_64 | 6267 | 2019-11-08 17:41:12 | 0:01:21 | 994 | failed install-dependencies |
| 10.6 | 2579 | 2019-11-07 19:52:36 | 0:02:00 | 831 | failed install-dependencies |
| 10.6.x86_64 | 5180 | 2019-11-04 17:30:19 | 0:01:40 | 833 | failed install-dependencies |
| 10.15 | 1377 | 2019-11-04 16:40:52 | 0:12:44 | 51 | build successful |
| 10.6 | 2160 | 2019-11-04 6:56:33 | 0:01:38 | 666 | failed install-dependencies |
| 10.6 | 2128 | 2019-11-04 0:23:30 | 0:01:47 | 646 | failed install-dependencies |
| 10.8 | 4267 | 2019-11-01 16:52:47 | 0:05:58 | 644 | build successful |
| 10.6.x86_64 | 4248 | 2019-11-01 16:13:40 | 0:01:17 | 668 | failed install-dependencies |
| 10.6.x86_64 | 4195 | 2019-11-01 12:33:05 | 0:01:33 | 648 | failed install-dependencies |
| 10.7 | 4433 | 2019-11-01 12:29:38 | 0:06:36 | 645 | build successful |
| 10.13 | 69590 | 2019-10-29 3:08:57 | 0:07:37 | 19837 | build successful |
| 10.11 | 99901 | 2019-10-28 22:39:34 | 0:06:21 | 28882 | build successful |
| 10.12 | 104644 | 2019-10-28 22:39:07 | 0:06:23 | 27865 | build successful |
| 10.14 | 44197 | 2019-10-28 22:39:03 | 0:06:34 | 10560 | build successful |
| 10.10 | 101103 | 2019-10-28 22:38:52 | 0:05:55 | 28924 | build successful |
| 10.9 | 103915 | 2019-10-28 22:37:57 | 0:05:08 | 28870 | build successful |
| 10.14 | 44192 | 2019-10-28 20:29:43 | 0:06:44 | 10557 | build successful |
| 10.11 | 99896 | 2019-10-28 19:55:02 | 0:07:27 | 28879 | build successful |
| 10.10 | 101098 | 2019-10-28 19:54:42 | 0:06:01 | 28921 | build successful |
| 10.10 | 101093 | 2019-10-28 18:35:17 | 0:00:33 | 28920 | failed install-dependencies |
| 10.9 | 103906 | 2019-10-28 18:30:34 | 0:05:35 | 28866 | build successful |
| 10.11 | 99891 | 2019-10-28 18:10:06 | 0:00:50 | 28878 | failed install-dependencies |
| 10.14 | 44187 | 2019-10-28 18:08:34 | 0:00:44 | 10556 | failed install-dependencies |
| 10.12 | 104635 | 2019-10-28 18:05:57 | 0:05:58 | 27861 | build successful |
| 10.11 | 99682 | 2019-10-26 22:47:33 | 0:00:46 | 28791 | failed install-dependencies |
| 10.13 | 69100 | 2019-10-26 13:11:03 | 0:00:56 | 19637 | failed install-dependencies |
| 10.9 | 103693 | 2019-10-26 11:44:19 | 0:05:07 | 28779 | build successful |
| 10.12 | 104385 | 2019-10-26 8:23:57 | 0:06:10 | 27773 | build successful |
| 10.10 | 100874 | 2019-10-26 6:12:20 | 0:00:47 | 28833 | failed install-dependencies |
| 10.14 | 43912 | 2019-10-26 4:42:33 | 0:00:42 | 10467 | failed install-dependencies |
| 10.13 | 69000 | 2019-10-25 21:27:49 | 0:00:50 | 19570 | failed install-dependencies |
| 10.11 | 99379 | 2019-10-25 8:24:57 | 0:00:43 | 28679 | failed install-dependencies |
| 10.11 | 99283 | 2019-10-24 20:53:26 | 0:00:45 | 28612 | failed install-dependencies |
| 10.10 | 100458 | 2019-10-23 15:18:34 | 0:00:33 | 28720 | failed install-dependencies |
| 10.13 | 68361 | 2019-10-23 7:17:12 | 0:00:48 | 19409 | failed install-dependencies |
| 10.10 | 100337 | 2019-10-23 4:55:39 | 0:00:33 | 28653 | failed install-dependencies |
| 10.14 | 43552 | 2019-10-23 3:46:40 | 0:00:43 | 10354 | failed install-dependencies |
| 10.9 | 103237 | 2019-10-22 21:42:12 | 0:05:13 | 28666 | build successful |
| 10.12 | 104013 | 2019-10-22 21:26:19 | 0:06:34 | 27661 | build successful |