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 4 of 6 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 28501 | 2020-06-16 0:16:13 | 0:13:30 | 7510 | failed install-port |
| 10.14 | 61801 | 2020-06-16 0:15:12 | 0:07:23 | 16745 | build successful |
| 10.15 | 32578 | 2020-06-16 0:13:42 | 0:07:08 | 6296 | build successful |
| 10.11 | 115992 | 2020-06-16 0:12:21 | 0:05:47 | 35062 | build successful |
| 10.13 | 85918 | 2020-06-16 0:11:08 | 0:07:24 | 26017 | build successful |
| 10.9 | 121059 | 2020-06-16 0:09:11 | 0:04:55 | 35071 | build successful |
| 10.6 | 13994 | 2020-06-15 23:37:25 | 0:01:35 | 7502 | failed install-dependencies |
| 10.6 | 13391 | 2020-05-28 6:33:33 | 0:01:35 | 7025 | failed install-dependencies |
| 10.6.x86_64 | 27355 | 2020-05-27 18:33:34 | 0:17:49 | 7027 | failed install-port |
| 10.15 | 31493 | 2020-05-27 18:31:00 | 0:10:40 | 5823 | build successful |
| 10.14 | 60731 | 2020-05-27 18:27:58 | 0:06:51 | 16273 | build successful |
| 10.9 | 119965 | 2020-05-27 18:23:27 | 0:05:07 | 34598 | build successful |
| 10.13 | 84838 | 2020-05-27 18:12:57 | 0:06:29 | 25545 | build successful |
| 10.11 | 114911 | 2020-05-27 18:11:12 | 0:05:58 | 34587 | build successful |
| 10.6.x86_64 | 24726 | 2020-04-20 18:05:06 | 0:17:04 | 5869 | failed install-port |
| 10.15 | 28680 | 2020-04-20 18:03:29 | 0:11:20 | 4656 | build successful |
| 10.9 | 117384 | 2020-04-20 17:58:24 | 0:05:26 | 33438 | build successful |
| 10.10 | 114703 | 2020-04-20 17:52:53 | 0:05:50 | 33492 | build successful |
| 10.7 | 21911 | 2020-04-20 17:52:04 | 0:06:31 | 5868 | build successful |
| 10.14 | 58108 | 2020-04-20 17:50:54 | 0:07:56 | 15111 | build successful |
| 10.12 | 118732 | 2020-04-20 17:47:57 | 0:06:01 | 32426 | build successful |
| 10.13 | 82261 | 2020-04-20 17:46:05 | 0:06:44 | 24384 | build successful |
| 10.11 | 112388 | 2020-04-20 17:44:54 | 0:06:45 | 33428 | build successful |
| 10.6 | 12038 | 2020-04-20 17:13:08 | 0:01:35 | 5868 | failed install-dependencies |
| 10.6.x86_64 | 24095 | 2020-04-09 18:00:12 | 0:18:20 | 5653 | failed install-port |
| 10.15 | 28088 | 2020-04-09 17:58:32 | 0:12:53 | 4440 | build successful |
| 10.9 | 116790 | 2020-04-09 17:55:56 | 0:07:05 | 33219 | build successful |
| 10.10 | 114110 | 2020-04-09 17:48:04 | 0:07:22 | 33276 | build successful |
| 10.14 | 57520 | 2020-04-09 17:47:52 | 0:08:09 | 14895 | build successful |
| 10.7 | 21307 | 2020-04-09 17:45:25 | 0:07:02 | 5649 | build successful |
| 10.12 | 118139 | 2020-04-09 17:44:58 | 0:07:25 | 32210 | build successful |
| 10.13 | 81679 | 2020-04-09 17:38:58 | 0:08:25 | 24168 | build successful |
| 10.11 | 111791 | 2020-04-09 17:37:17 | 0:07:37 | 33212 | build successful |
| 10.6 | 11638 | 2020-04-09 17:06:43 | 0:01:34 | 5652 | failed install-dependencies |
| 10.7 | 21243 | 2020-04-08 3:40:45 | 0:00:34 | 5618 | failed install-dependencies |
| 10.6.x86_64 | 24033 | 2020-04-07 23:42:43 | 0:01:07 | 5623 | failed install-dependencies |
| 10.15 | 28025 | 2020-04-07 23:38:24 | 0:01:03 | 4410 | failed install-dependencies |
| 10.11 | 111729 | 2020-04-07 23:37:32 | 0:00:33 | 33182 | failed install-dependencies |
| 10.14 | 57457 | 2020-04-07 23:37:32 | 0:00:52 | 14865 | failed install-dependencies |
| 10.12 | 118077 | 2020-04-07 23:37:09 | 0:00:52 | 32180 | failed install-dependencies |
| 10.10 | 114048 | 2020-04-07 23:37:09 | 0:00:37 | 33246 | failed install-dependencies |
| 10.13 | 81617 | 2020-04-07 23:37:02 | 0:00:41 | 24138 | failed install-dependencies |
| 10.9 | 116727 | 2020-04-07 23:36:00 | 0:00:32 | 33189 | failed install-dependencies |
| 10.6 | 11603 | 2020-04-07 23:34:59 | 0:01:33 | 5622 | failed install-dependencies |
| 10.7 | 20757 | 2020-04-03 11:35:42 | 0:07:21 | 5396 | build successful |
| 10.6 | 11349 | 2020-04-03 8:30:34 | 0:01:34 | 5406 | failed install-dependencies |
| 10.6 | 10993 | 2020-04-01 12:27:07 | 0:01:41 | 5030 | failed install-dependencies |
| 10.6.x86_64 | 23562 | 2020-03-30 23:12:32 | 0:14:27 | 5406 | failed install-port |
| 10.15 | 27611 | 2020-03-30 23:10:58 | 0:09:31 | 4195 | build successful |
| 10.9 | 116297 | 2020-03-30 23:09:18 | 0:06:40 | 32973 | build successful |
| 10.11 | 111303 | 2020-03-30 23:02:32 | 0:07:36 | 32964 | build successful |
| 10.10 | 113619 | 2020-03-30 23:01:35 | 0:06:56 | 33028 | build successful |
| 10.14 | 57045 | 2020-03-30 23:00:06 | 0:06:36 | 14649 | build successful |
| 10.12 | 117655 | 2020-03-30 22:54:54 | 0:07:28 | 31963 | build successful |
| 10.13 | 81194 | 2020-03-30 22:51:23 | 0:06:30 | 23921 | build successful |
| 10.6 | 10374 | 2020-03-28 7:21:56 | 0:01:42 | 4625 | failed install-dependencies |
| 10.6 | 10365 | 2020-03-28 6:41:34 | 0:01:33 | 4620 | failed install-dependencies |
| 10.13 | 79318 | 2020-03-22 14:56:50 | 0:12:55 | 23538 | build successful |
| 10.7 | 18913 | 2020-03-21 17:43:56 | 0:05:56 | 4599 | build successful |
| 10.11 | 108724 | 2020-03-19 5:02:06 | 0:11:42 | 31910 | build successful |
| 10.14 | 55959 | 2020-03-19 4:34:53 | 0:01:40 | 14275 | build successful |
| 10.6.x86_64 | 22366 | 2020-03-19 4:25:32 | 0:13:22 | 5033 | failed install-port |
| 10.15 | 26520 | 2020-03-19 4:23:10 | 0:08:39 | 3820 | build successful |
| 10.9 | 115200 | 2020-03-19 4:20:25 | 0:06:39 | 32599 | build successful |
| 10.10 | 112524 | 2020-03-19 4:11:05 | 0:05:54 | 32654 | build successful |
| 10.12 | 116531 | 2020-03-19 4:09:04 | 0:05:50 | 31588 | build successful |
| 10.6 | 10032 | 2020-03-19 0:11:23 | 0:02:20 | 4349 | failed install-dependencies |
| 10.6.x86_64 | 20863 | 2020-02-27 1:36:55 | 0:10:51 | 4627 | failed install-port |
| 10.6.x86_64 | 20853 | 2020-02-27 0:01:27 | 0:15:07 | 4622 | failed install-port |
| 10.15 | 25255 | 2020-02-26 23:58:43 | 0:10:22 | 3411 | build successful |
| 10.9 | 113918 | 2020-02-26 23:53:49 | 0:06:11 | 32189 | build successful |
| 10.14 | 54692 | 2020-02-26 23:51:11 | 0:07:07 | 13866 | build successful |
| 10.10 | 111244 | 2020-02-26 23:46:29 | 0:05:27 | 32245 | build successful |
| 10.12 | 115239 | 2020-02-26 23:44:53 | 0:05:53 | 31179 | build successful |
| 10.15 | 24485 | 2020-02-18 0:12:01 | 0:01:46 | 3140 | build successful |
| 10.10 | 110484 | 2020-02-17 23:58:15 | 0:01:10 | 31974 | build successful |
| 10.14 | 53927 | 2020-02-17 23:44:19 | 0:06:34 | 13595 | build successful |
| 10.9 | 113148 | 2020-02-17 23:42:40 | 0:05:04 | 31917 | build successful |
| 10.12 | 114473 | 2020-02-17 23:38:53 | 0:05:53 | 30908 | build successful |
| 10.6.x86_64 | 20055 | 2020-02-17 23:13:06 | 0:01:19 | 4351 | failed install-dependencies |
| 10.11 | 108452 | 2020-02-13 9:20:38 | 0:05:43 | 31756 | build successful |
| 10.15 | 24091 | 2020-02-13 8:11:28 | 0:36:20 | 2988 | build successful |
| 10.13 | 78435 | 2020-02-12 20:48:28 | 0:06:43 | 22716 | build successful |
| 10.14 | 53517 | 2020-02-12 17:29:07 | 0:06:01 | 13443 | build successful |
| 10.12 | 114048 | 2020-02-11 18:35:58 | 0:05:39 | 30756 | build successful |
| 10.8 | 15897 | 2020-02-11 17:31:08 | 0:10:14 | 4171 | build successful |
| 10.10 | 110065 | 2020-02-11 17:23:54 | 0:05:38 | 31822 | build successful |
| 10.9 | 112729 | 2020-02-11 17:21:14 | 0:07:46 | 31765 | build successful |
| 10.7 | 17825 | 2020-02-11 16:58:05 | 0:06:10 | 4176 | build successful |
| 10.6 | 9850 | 2020-02-11 16:54:50 | 0:02:38 | 4196 | failed install-dependencies |
| 10.6.x86_64 | 19626 | 2020-02-11 16:34:26 | 0:01:55 | 4199 | failed install-dependencies |
| 10.6.x86_64 | 17695 | 2020-01-31 6:27:46 | 0:01:13 | 3905 | failed install-dependencies |
| 10.11 | 107584 | 2020-01-31 5:43:39 | 0:06:25 | 31482 | build successful |
| 10.15 | 22914 | 2020-01-31 5:37:56 | 0:07:08 | 2712 | build successful |
| 10.13 | 77403 | 2020-01-31 5:24:02 | 0:08:38 | 22441 | build successful |
| 10.14 | 52415 | 2020-01-31 5:23:31 | 0:07:37 | 13168 | build successful |
| 10.7 | 16252 | 2020-01-31 5:22:50 | 0:05:29 | 3884 | build successful |
| 10.8 | 14716 | 2020-01-31 5:13:15 | 0:06:46 | 3880 | build successful |
| 10.12 | 112693 | 2020-01-31 5:05:45 | 0:07:57 | 30463 | build successful |
| 10.10 | 109129 | 2020-01-31 4:57:07 | 0:06:00 | 31530 | build successful |