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 4 of 5 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.15 | 28087 | 2020-04-09 17:06:44 | 0:51:44 | 4440 | build successful |
| 10.14 | 57519 | 2020-04-09 17:06:31 | 0:41:18 | 14895 | build successful |
| 10.12 | 118138 | 2020-04-09 17:06:20 | 0:38:32 | 32210 | build successful |
| 10.10 | 114109 | 2020-04-09 17:06:11 | 0:41:50 | 33276 | build successful |
| 10.13 | 81678 | 2020-04-09 17:05:58 | 0:32:58 | 24168 | build successful |
| 10.7 | 21306 | 2020-04-09 17:05:46 | 0:39:37 | 5649 | build successful |
| 10.9 | 116789 | 2020-04-09 17:05:34 | 0:50:19 | 33219 | build successful |
| 10.11 | 111790 | 2020-04-09 17:05:24 | 0:31:50 | 33212 | build successful |
| 10.6 | 11637 | 2020-04-09 17:05:14 | 0:01:24 | 5652 | failed install-dependencies |
| 10.6.x86_64 | 24094 | 2020-04-09 17:04:31 | 0:55:39 | 5653 | build successful |
| 10.7 | 21242 | 2020-04-08 3:38:08 | 0:02:33 | 5618 | failed install-port |
| 10.15 | 28024 | 2020-04-07 23:35:05 | 0:03:16 | 4410 | failed install-port |
| 10.11 | 111728 | 2020-04-07 23:34:46 | 0:02:41 | 33182 | failed install-port |
| 10.14 | 57456 | 2020-04-07 23:34:36 | 0:02:49 | 14865 | failed install-port |
| 10.10 | 114047 | 2020-04-07 23:34:26 | 0:02:40 | 33246 | failed install-port |
| 10.12 | 118076 | 2020-04-07 23:34:15 | 0:02:49 | 32180 | failed install-port |
| 10.13 | 81616 | 2020-04-07 23:34:04 | 0:02:53 | 24138 | failed install-port |
| 10.9 | 116726 | 2020-04-07 23:33:52 | 0:02:05 | 33189 | failed install-port |
| 10.6.x86_64 | 24032 | 2020-04-07 23:33:40 | 0:08:59 | 5623 | failed install-port |
| 10.6 | 11602 | 2020-04-07 23:33:26 | 0:01:29 | 5622 | failed install-dependencies |
| 10.7 | 20756 | 2020-04-03 11:05:38 | 0:30:02 | 5396 | build successful |
| 10.6 | 11348 | 2020-04-03 8:29:08 | 0:01:23 | 5406 | failed install-dependencies |
| 10.6 | 10992 | 2020-04-01 12:25:44 | 0:01:20 | 5030 | failed install-dependencies |
| 10.11 | 111302 | 2020-03-30 22:20:49 | 0:41:40 | 32964 | build successful |
| 10.10 | 113618 | 2020-03-30 22:16:50 | 0:44:42 | 33028 | build successful |
| 10.9 | 116296 | 2020-03-30 22:15:49 | 0:53:25 | 32973 | build successful |
| 10.6.x86_64 | 23561 | 2020-03-30 22:13:55 | 0:58:34 | 5406 | build successful |
| 10.15 | 27610 | 2020-03-30 22:13:45 | 0:57:09 | 4195 | build successful |
| 10.14 | 57044 | 2020-03-30 22:13:35 | 0:46:27 | 14649 | build successful |
| 10.12 | 117654 | 2020-03-30 22:13:22 | 0:41:28 | 31963 | build successful |
| 10.13 | 81193 | 2020-03-30 22:13:03 | 0:38:17 | 23921 | build successful |
| 10.6 | 10372 | 2020-03-28 7:18:39 | 0:01:25 | 4625 | failed install-dependencies |
| 10.6 | 10364 | 2020-03-28 6:40:05 | 0:01:27 | 4620 | failed install-dependencies |
| 10.13 | 79317 | 2020-03-22 14:00:53 | 0:55:53 | 23538 | build successful |
| 10.7 | 18912 | 2020-03-21 17:13:19 | 0:30:35 | 4599 | build successful |
| 10.14 | 55958 | 2020-03-19 4:33:21 | 0:01:29 | 14275 | build successful |
| 10.11 | 108723 | 2020-03-19 4:10:08 | 0:51:55 | 31910 | build successful |
| 10.15 | 26519 | 2020-03-19 3:39:35 | 0:43:32 | 3820 | build successful |
| 10.12 | 116530 | 2020-03-19 3:39:12 | 0:29:48 | 31588 | build successful |
| 10.9 | 115199 | 2020-03-19 3:39:01 | 0:41:20 | 32599 | build successful |
| 10.10 | 112523 | 2020-03-19 3:38:51 | 0:32:11 | 32654 | build successful |
| 10.6.x86_64 | 22365 | 2020-03-19 3:38:33 | 0:46:57 | 5033 | build successful |
| 10.6 | 10031 | 2020-03-19 0:09:26 | 0:01:55 | 4349 | failed install-dependencies |
| 10.10 | 111243 | 2020-02-26 23:16:49 | 0:29:38 | 32245 | build successful |
| 10.12 | 115238 | 2020-02-26 23:16:39 | 0:28:10 | 31179 | build successful |
| 10.15 | 25254 | 2020-02-26 23:16:28 | 0:42:12 | 3411 | build successful |
| 10.14 | 54691 | 2020-02-26 23:16:17 | 0:34:51 | 13866 | build successful |
| 10.6.x86_64 | 20852 | 2020-02-26 23:16:06 | 0:45:19 | 4622 | build successful |
| 10.9 | 113917 | 2020-02-26 23:15:22 | 0:38:24 | 32189 | build successful |
| 10.15 | 24484 | 2020-02-18 0:10:36 | 0:01:22 | 3140 | build successful |
| 10.10 | 110483 | 2020-02-17 23:57:20 | 0:00:49 | 31974 | build successful |
| 10.14 | 53926 | 2020-02-17 23:11:59 | 0:32:17 | 13595 | build successful |
| 10.6.x86_64 | 20054 | 2020-02-17 23:11:48 | 0:01:11 | 4351 | failed install-dependencies |
| 10.12 | 114472 | 2020-02-17 23:10:54 | 0:27:56 | 30908 | build successful |
| 10.9 | 113147 | 2020-02-17 23:10:44 | 0:31:54 | 31917 | build successful |
| 10.11 | 108451 | 2020-02-13 8:56:24 | 0:24:12 | 31756 | build successful |
| 10.15 | 24092 | 2020-02-13 8:47:51 | 0:01:20 | 2988 | build successful |
| 10.13 | 78434 | 2020-02-12 20:18:27 | 0:29:57 | 22716 | build successful |
| 10.14 | 53516 | 2020-02-12 17:01:59 | 0:27:05 | 13443 | build successful |
| 10.12 | 114047 | 2020-02-11 18:11:09 | 0:24:46 | 30756 | build successful |
| 10.10 | 110064 | 2020-02-11 16:54:41 | 0:29:11 | 31822 | build successful |
| 10.6 | 9849 | 2020-02-11 16:52:39 | 0:02:09 | 4196 | failed install-dependencies |
| 10.8 | 15896 | 2020-02-11 16:33:08 | 0:57:58 | 4171 | build successful |
| 10.9 | 112728 | 2020-02-11 16:32:58 | 0:48:13 | 31765 | build successful |
| 10.7 | 17824 | 2020-02-11 16:32:48 | 0:25:15 | 4176 | build successful |
| 10.6.x86_64 | 19625 | 2020-02-11 16:32:38 | 0:01:46 | 4199 | failed install-dependencies |
| 10.6.x86_64 | 17694 | 2020-01-31 6:26:37 | 0:01:06 | 3905 | failed install-dependencies |
| 10.11 | 107583 | 2020-01-31 5:10:33 | 0:33:03 | 31482 | build successful |
| 10.15 | 22913 | 2020-01-31 5:07:09 | 0:30:44 | 2712 | build successful |
| 10.7 | 16251 | 2020-01-31 4:56:38 | 0:26:09 | 3884 | build successful |
| 10.13 | 77402 | 2020-01-31 4:52:33 | 0:31:26 | 22441 | build successful |
| 10.14 | 52414 | 2020-01-31 4:52:20 | 0:31:08 | 13168 | build successful |
| 10.8 | 14715 | 2020-01-31 4:45:02 | 0:28:10 | 3880 | build successful |
| 10.12 | 112692 | 2020-01-31 4:37:32 | 0:28:06 | 30463 | build successful |
| 10.6 | 9033 | 2020-01-31 4:34:30 | 0:01:33 | 3904 | failed install-dependencies |
| 10.10 | 109128 | 2020-01-31 4:29:16 | 0:27:49 | 31530 | build successful |
| 10.9 | 111751 | 2020-01-31 4:27:00 | 0:26:07 | 31474 | build successful |
| 10.6 | 8470 | 2020-01-25 7:21:00 | 0:01:54 | 3688 | failed install-dependencies |
| 10.6.x86_64 | 16498 | 2020-01-24 21:49:20 | 0:01:20 | 3673 | failed install-dependencies |
| 10.6 | 8423 | 2020-01-24 10:04:19 | 0:01:52 | 3681 | failed install-dependencies |
| 10.8 | 13764 | 2020-01-24 5:47:39 | 0:38:19 | 3653 | build successful |
| 10.6.x86_64 | 16443 | 2020-01-24 5:05:19 | 0:01:22 | 3666 | failed install-dependencies |
| 10.11 | 106739 | 2020-01-24 0:17:18 | 0:31:51 | 31260 | build successful |
| 10.15 | 21995 | 2020-01-23 21:02:40 | 0:36:58 | 2487 | build successful |
| 10.14 | 51526 | 2020-01-23 21:01:55 | 0:34:21 | 12942 | build successful |
| 10.13 | 76563 | 2020-01-23 21:01:36 | 0:36:10 | 22217 | build successful |
| 10.12 | 111843 | 2020-01-23 21:00:49 | 0:31:08 | 30240 | build successful |
| 10.10 | 108273 | 2020-01-23 21:00:24 | 0:33:46 | 31308 | build successful |
| 10.9 | 110880 | 2020-01-23 20:58:38 | 0:39:02 | 31251 | build successful |
| 10.7 | 15241 | 2020-01-23 20:58:17 | 0:30:36 | 3657 | build successful |
| 10.14 | 51312 | 2020-01-21 21:53:45 | 0:23:03 | 12885 | build successful |
| 10.6.x86_64 | 16147 | 2020-01-21 19:41:48 | 0:01:23 | 3610 | failed install-dependencies |
| 10.6 | 8238 | 2020-01-21 19:31:28 | 0:02:29 | 3625 | failed install-dependencies |
| 10.15 | 21792 | 2020-01-21 19:10:23 | 0:32:04 | 2431 | build successful |
| 10.10 | 108071 | 2020-01-21 19:05:34 | 0:33:30 | 31253 | build successful |
| 10.13 | 76370 | 2020-01-21 19:05:24 | 0:35:19 | 22162 | build successful |
| 10.11 | 106543 | 2020-01-21 19:05:13 | 0:40:41 | 31205 | build successful |
| 10.12 | 111648 | 2020-01-21 19:05:01 | 0:32:25 | 30185 | build successful |
| 10.8 | 13513 | 2020-01-21 19:04:49 | 0:40:08 | 3598 | build successful |
| 10.9 | 110675 | 2020-01-21 19:04:38 | 0:29:17 | 31196 | build successful |