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 3 of 5 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 31704 | 2020-08-04 17:44:12 | 0:36:12 | 8908 | build successful |
| 10.14 | 64779 | 2020-08-04 17:39:12 | 0:40:38 | 18141 | build successful |
| 10.11 | 119022 | 2020-08-04 17:38:58 | 0:38:00 | 36460 | build successful |
| 10.8 | 22937 | 2020-08-04 17:38:42 | 0:38:52 | 6763 | build successful |
| 10.15 | 35565 | 2020-08-04 17:38:30 | 0:29:35 | 7694 | build successful |
| 10.12 | 124341 | 2020-08-04 17:38:15 | 0:28:23 | 35458 | build successful |
| 10.10 | 120631 | 2020-08-04 17:38:00 | 0:38:30 | 36517 | build successful |
| 10.9 | 124131 | 2020-08-04 17:37:43 | 0:26:40 | 36467 | build successful |
| 10.7 | 27899 | 2020-08-04 17:37:18 | 0:32:32 | 8895 | build successful |
| 10.14 | 64700 | 2020-08-03 17:39:41 | 0:01:39 | 18105 | build successful |
| 10.6 | 15727 | 2020-08-03 16:42:26 | 0:01:17 | 8865 | failed install-dependencies |
| 10.11 | 118941 | 2020-08-03 16:41:28 | 0:38:13 | 36424 | build successful |
| 10.8 | 22854 | 2020-08-03 16:41:17 | 0:38:53 | 6727 | build successful |
| 10.15 | 35485 | 2020-08-03 16:41:05 | 0:32:49 | 7658 | build successful |
| 10.12 | 124261 | 2020-08-03 16:40:54 | 0:26:52 | 35422 | build successful |
| 10.13 | 88823 | 2020-08-03 16:40:44 | 0:36:54 | 27377 | build successful |
| 10.9 | 124048 | 2020-08-03 16:40:34 | 0:29:03 | 36431 | build successful |
| 10.10 | 120549 | 2020-08-03 16:40:23 | 0:40:10 | 36481 | build successful |
| 10.6.x86_64 | 31619 | 2020-08-03 16:40:12 | 0:37:14 | 8872 | build successful |
| 10.7 | 27816 | 2020-08-03 16:40:01 | 0:33:06 | 8859 | build successful |
| 10.14 | 64331 | 2020-07-28 22:56:46 | 0:37:38 | 17959 | build successful |
| 10.15 | 35116 | 2020-07-28 22:56:34 | 0:34:50 | 7512 | build successful |
| 10.11 | 118574 | 2020-07-28 22:54:05 | 0:39:11 | 36278 | build successful |
| 10.13 | 88454 | 2020-07-28 22:53:51 | 0:38:28 | 27231 | build successful |
| 10.8 | 22482 | 2020-07-28 22:53:37 | 0:39:07 | 6581 | build successful |
| 10.10 | 120181 | 2020-07-28 22:51:42 | 0:38:32 | 36335 | build successful |
| 10.12 | 123893 | 2020-07-28 22:51:25 | 0:22:23 | 35276 | build successful |
| 10.6.x86_64 | 31231 | 2020-07-28 22:50:29 | 0:36:00 | 8726 | build successful |
| 10.7 | 27443 | 2020-07-28 22:49:55 | 0:31:15 | 8713 | build successful |
| 10.9 | 123677 | 2020-07-28 22:49:42 | 0:26:22 | 36285 | build successful |
| 10.6 | 15540 | 2020-07-28 22:47:04 | 0:01:30 | 8719 | failed install-dependencies |
| 10.14 | 64011 | 2020-07-22 16:29:11 | 0:40:23 | 17815 | build successful |
| 10.8 | 22159 | 2020-07-22 16:28:59 | 0:39:50 | 6437 | build successful |
| 10.15 | 34796 | 2020-07-22 16:28:48 | 0:32:19 | 7368 | build successful |
| 10.11 | 118249 | 2020-07-22 16:28:37 | 0:39:46 | 36132 | build successful |
| 10.13 | 88133 | 2020-07-22 16:28:25 | 0:38:02 | 27087 | build successful |
| 10.12 | 123572 | 2020-07-22 16:28:13 | 0:22:45 | 35132 | build successful |
| 10.9 | 123359 | 2020-07-22 16:28:02 | 0:27:44 | 36141 | build successful |
| 10.6 | 15359 | 2020-07-22 16:27:52 | 0:01:10 | 8575 | failed install-dependencies |
| 10.6.x86_64 | 30900 | 2020-07-22 16:27:08 | 0:37:23 | 8582 | build successful |
| 10.10 | 119855 | 2020-07-22 16:26:59 | 0:40:34 | 36190 | build successful |
| 10.7 | 27112 | 2020-07-22 16:26:51 | 0:32:07 | 8569 | build successful |
| 10.12 | 123282 | 2020-07-18 14:00:23 | 0:31:35 | 35007 | build successful |
| 10.8 | 21847 | 2020-07-18 0:41:04 | 0:47:27 | 6312 | build successful |
| 10.15 | 34505 | 2020-07-18 0:40:53 | 0:37:31 | 7243 | build successful |
| 10.14 | 63723 | 2020-07-18 0:40:40 | 0:48:52 | 17690 | build successful |
| 10.6.x86_64 | 30586 | 2020-07-18 0:40:28 | 0:42:54 | 8457 | build successful |
| 10.13 | 87840 | 2020-07-18 0:40:15 | 0:47:46 | 26962 | build successful |
| 10.11 | 117933 | 2020-07-18 0:40:02 | 0:46:14 | 36007 | build successful |
| 10.7 | 26797 | 2020-07-18 0:39:50 | 0:39:28 | 8444 | build successful |
| 10.6 | 15139 | 2020-07-18 0:39:36 | 0:01:31 | 8450 | failed install-dependencies |
| 10.10 | 119559 | 2020-07-18 0:38:47 | 0:48:15 | 36065 | build successful |
| 10.9 | 123055 | 2020-07-18 0:38:35 | 0:33:33 | 36016 | build successful |
| 10.6 | 14721 | 2020-07-07 21:10:36 | 0:01:11 | 8164 | failed install-dependencies |
| 10.12 | 121077 | 2020-07-07 5:58:08 | 0:45:53 | 33589 | build successful |
| 10.11 | 117198 | 2020-07-07 1:04:11 | 0:39:11 | 35722 | build successful |
| 10.14 | 62995 | 2020-07-07 0:31:24 | 0:57:03 | 17405 | build successful |
| 10.15 | 33769 | 2020-07-06 23:56:03 | 0:01:17 | 6958 | build successful |
| 10.8 | 21109 | 2020-07-06 23:02:18 | 0:34:54 | 6026 | build successful |
| 10.13 | 87103 | 2020-07-06 22:55:22 | 0:38:40 | 26677 | build successful |
| 10.10 | 118818 | 2020-07-06 22:54:41 | 0:38:29 | 35780 | build successful |
| 10.9 | 122310 | 2020-07-06 22:54:30 | 0:31:42 | 35731 | build successful |
| 10.7 | 26021 | 2020-07-06 20:35:03 | 0:47:34 | 8158 | build successful |
| 10.6.x86_64 | 29836 | 2020-07-06 19:43:05 | 0:50:19 | 8171 | build successful |
| 10.8 | 20344 | 2020-06-30 17:25:55 | 1:03:25 | 5558 | build successful |
| 10.7 | 24356 | 2020-06-26 14:17:59 | 1:20:06 | 7026 | build successful |
| 10.14 | 62242 | 2020-06-23 22:52:12 | 0:50:11 | 16938 | build successful |
| 10.15 | 33020 | 2020-06-23 22:52:01 | 0:36:34 | 6489 | build successful |
| 10.11 | 116430 | 2020-06-23 22:51:52 | 0:45:18 | 35255 | build successful |
| 10.13 | 86355 | 2020-06-23 22:51:38 | 0:42:09 | 26210 | build successful |
| 10.6 | 14224 | 2020-06-23 22:51:26 | 0:01:38 | 7695 | failed install-dependencies |
| 10.10 | 118021 | 2020-06-23 22:50:43 | 0:42:05 | 35312 | build successful |
| 10.9 | 121505 | 2020-06-23 22:50:33 | 0:33:10 | 35264 | build successful |
| 10.6.x86_64 | 28965 | 2020-06-23 22:50:19 | 0:40:34 | 7703 | build successful |
| 10.8 | 17047 | 2020-06-18 19:25:35 | 0:49:14 | 4892 | build successful |
| 10.10 | 117020 | 2020-06-18 6:14:23 | 0:47:34 | 34650 | build successful |
| 10.15 | 32577 | 2020-06-15 23:36:41 | 0:36:58 | 6296 | build successful |
| 10.14 | 61800 | 2020-06-15 23:36:32 | 0:38:37 | 16745 | build successful |
| 10.13 | 85917 | 2020-06-15 23:36:23 | 0:34:41 | 26017 | build successful |
| 10.11 | 115991 | 2020-06-15 23:36:13 | 0:36:04 | 35062 | build successful |
| 10.9 | 121058 | 2020-06-15 23:36:03 | 0:33:04 | 35071 | build successful |
| 10.6 | 13993 | 2020-06-15 23:35:55 | 0:01:27 | 7502 | failed install-dependencies |
| 10.6.x86_64 | 28500 | 2020-06-15 23:35:16 | 0:40:55 | 7510 | build successful |
| 10.6 | 13390 | 2020-05-28 6:32:01 | 0:01:30 | 7025 | failed install-dependencies |
| 10.15 | 31492 | 2020-05-27 17:39:50 | 0:51:07 | 5823 | build successful |
| 10.14 | 60730 | 2020-05-27 17:39:40 | 0:48:16 | 16273 | build successful |
| 10.13 | 84837 | 2020-05-27 17:39:29 | 0:33:26 | 25545 | build successful |
| 10.11 | 114910 | 2020-05-27 17:39:19 | 0:31:49 | 34587 | build successful |
| 10.9 | 119964 | 2020-05-27 17:39:09 | 0:44:16 | 34598 | build successful |
| 10.6.x86_64 | 27354 | 2020-05-27 17:38:57 | 0:54:35 | 7027 | build successful |
| 10.15 | 28679 | 2020-04-20 17:11:47 | 0:51:39 | 4656 | build successful |
| 10.6 | 12037 | 2020-04-20 17:11:39 | 0:01:26 | 5868 | failed install-dependencies |
| 10.12 | 118731 | 2020-04-20 17:10:55 | 0:36:59 | 32426 | build successful |
| 10.14 | 58107 | 2020-04-20 17:10:42 | 0:40:08 | 15111 | build successful |
| 10.10 | 114702 | 2020-04-20 17:10:31 | 0:42:16 | 33492 | build successful |
| 10.13 | 82260 | 2020-04-20 17:10:16 | 0:35:45 | 24384 | build successful |
| 10.9 | 117383 | 2020-04-20 17:10:03 | 0:48:18 | 33438 | build successful |
| 10.7 | 21910 | 2020-04-20 17:09:52 | 0:42:09 | 5868 | build successful |
| 10.11 | 112387 | 2020-04-20 17:09:41 | 0:35:08 | 33428 | build successful |
| 10.6.x86_64 | 24725 | 2020-04-20 17:09:24 | 0:55:40 | 5869 | build successful |