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 3 of 6 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.10 | 120812 | 2020-08-07 3:16:45 | 0:07:21 | 36607 | build successful |
| 10.14 | 64955 | 2020-08-07 3:16:17 | 0:09:04 | 18231 | build successful |
| 10.8 | 23120 | 2020-08-07 3:15:28 | 0:07:52 | 6853 | build successful |
| 10.7 | 28084 | 2020-08-07 3:13:55 | 0:10:38 | 8985 | build successful |
| 10.13 | 89081 | 2020-08-07 3:13:20 | 0:07:19 | 27503 | build successful |
| 10.6.x86_64 | 31890 | 2020-08-07 3:07:22 | 0:14:16 | 8998 | build successful |
| 10.11 | 119202 | 2020-08-07 3:04:30 | 0:09:16 | 36550 | build successful |
| 10.15 | 35742 | 2020-08-07 3:02:50 | 0:07:54 | 7784 | build successful |
| 10.9 | 124313 | 2020-08-07 2:58:37 | 0:05:24 | 36557 | build successful |
| 10.12 | 124519 | 2020-08-07 2:56:23 | 0:07:01 | 35548 | build successful |
| 10.6 | 15907 | 2020-08-07 2:40:03 | 0:01:31 | 8991 | failed install-dependencies |
| 10.11 | 119044 | 2020-08-05 5:56:44 | 0:01:18 | 36475 | build successful |
| 10.8 | 22958 | 2020-08-05 5:28:07 | 0:06:40 | 6778 | build successful |
| 10.15 | 35584 | 2020-08-05 5:27:56 | 0:07:02 | 7709 | build successful |
| 10.6 | 15802 | 2020-08-05 5:27:54 | 0:01:25 | 8916 | failed install-dependencies |
| 10.12 | 124360 | 2020-08-05 5:27:43 | 0:06:41 | 35473 | build successful |
| 10.13 | 88922 | 2020-08-05 5:27:31 | 0:07:14 | 27428 | build successful |
| 10.14 | 64798 | 2020-08-05 5:27:20 | 0:07:59 | 18156 | build successful |
| 10.9 | 124152 | 2020-08-05 5:27:09 | 0:05:19 | 36482 | build successful |
| 10.6.x86_64 | 31725 | 2020-08-05 5:26:57 | 0:13:38 | 8923 | build successful |
| 10.7 | 27920 | 2020-08-05 5:26:47 | 0:10:42 | 8910 | build successful |
| 10.10 | 120652 | 2020-08-05 5:25:53 | 0:07:03 | 36532 | build successful |
| 10.13 | 88905 | 2020-08-04 18:36:41 | 0:02:02 | 27413 | build successful |
| 10.6.x86_64 | 31705 | 2020-08-04 18:20:45 | 0:12:29 | 8908 | failed install-port |
| 10.14 | 64780 | 2020-08-04 18:19:57 | 0:08:03 | 18141 | build successful |
| 10.8 | 22938 | 2020-08-04 18:17:38 | 0:06:49 | 6763 | build successful |
| 10.11 | 119023 | 2020-08-04 18:17:03 | 0:06:45 | 36460 | build successful |
| 10.10 | 120632 | 2020-08-04 18:16:34 | 0:08:27 | 36517 | build successful |
| 10.7 | 27900 | 2020-08-04 18:10:31 | 0:10:47 | 8895 | build successful |
| 10.15 | 35566 | 2020-08-04 18:09:04 | 0:08:12 | 7694 | build successful |
| 10.12 | 124342 | 2020-08-04 18:06:40 | 0:08:20 | 35458 | build successful |
| 10.9 | 124132 | 2020-08-04 18:04:27 | 0:07:05 | 36467 | build successful |
| 10.6 | 15785 | 2020-08-04 17:55:52 | 0:01:38 | 8901 | failed install-dependencies |
| 10.14 | 64701 | 2020-08-03 17:41:23 | 0:01:54 | 18105 | build successful |
| 10.10 | 120550 | 2020-08-03 17:20:36 | 0:07:12 | 36481 | build successful |
| 10.8 | 22855 | 2020-08-03 17:20:15 | 0:06:56 | 6727 | build successful |
| 10.11 | 118942 | 2020-08-03 17:19:48 | 0:07:08 | 36424 | build successful |
| 10.13 | 88824 | 2020-08-03 17:17:49 | 0:07:13 | 27377 | build successful |
| 10.6.x86_64 | 31620 | 2020-08-03 17:17:32 | 0:13:31 | 8872 | failed install-port |
| 10.15 | 35486 | 2020-08-03 17:13:58 | 0:07:35 | 7658 | build successful |
| 10.7 | 27817 | 2020-08-03 17:13:10 | 0:09:58 | 8859 | build successful |
| 10.9 | 124049 | 2020-08-03 17:09:40 | 0:05:56 | 36431 | build successful |
| 10.12 | 124262 | 2020-08-03 17:07:50 | 0:06:40 | 35422 | build successful |
| 10.6 | 15728 | 2020-08-03 16:43:45 | 0:01:21 | 8865 | failed install-dependencies |
| 10.14 | 64332 | 2020-07-28 23:34:28 | 0:07:51 | 17959 | build successful |
| 10.11 | 118575 | 2020-07-28 23:33:20 | 0:06:55 | 36278 | build successful |
| 10.8 | 22483 | 2020-07-28 23:32:47 | 0:06:38 | 6581 | build successful |
| 10.13 | 88455 | 2020-07-28 23:32:22 | 0:07:58 | 27231 | build successful |
| 10.15 | 35117 | 2020-07-28 23:31:28 | 0:07:24 | 7512 | build successful |
| 10.10 | 120182 | 2020-07-28 23:30:21 | 0:07:06 | 36335 | build successful |
| 10.6.x86_64 | 31232 | 2020-07-28 23:26:34 | 0:13:02 | 8726 | failed install-port |
| 10.7 | 27444 | 2020-07-28 23:21:12 | 0:12:02 | 8713 | build successful |
| 10.9 | 123678 | 2020-07-28 23:16:07 | 0:06:24 | 36285 | build successful |
| 10.12 | 123894 | 2020-07-28 23:13:55 | 0:06:46 | 35276 | build successful |
| 10.6 | 15541 | 2020-07-28 22:48:46 | 0:01:34 | 8719 | failed install-dependencies |
| 10.14 | 64012 | 2020-07-22 17:09:38 | 0:07:08 | 17815 | build successful |
| 10.8 | 22160 | 2020-07-22 17:08:52 | 0:05:52 | 6437 | build successful |
| 10.11 | 118250 | 2020-07-22 17:08:26 | 0:06:00 | 36132 | build successful |
| 10.10 | 119856 | 2020-07-22 17:07:38 | 0:06:36 | 36190 | build successful |
| 10.13 | 88134 | 2020-07-22 17:06:34 | 0:06:26 | 27087 | build successful |
| 10.6.x86_64 | 30901 | 2020-07-22 17:04:36 | 0:13:53 | 8582 | failed install-port |
| 10.15 | 34797 | 2020-07-22 17:01:10 | 0:08:18 | 7368 | build successful |
| 10.7 | 27113 | 2020-07-22 16:59:02 | 0:10:00 | 8569 | build successful |
| 10.9 | 123360 | 2020-07-22 16:55:49 | 0:04:47 | 36141 | build successful |
| 10.12 | 123573 | 2020-07-22 16:51:01 | 0:05:36 | 35132 | build successful |
| 10.6 | 15360 | 2020-07-22 16:29:06 | 0:01:21 | 8575 | failed install-dependencies |
| 10.12 | 123283 | 2020-07-18 14:32:00 | 0:06:50 | 35007 | build successful |
| 10.14 | 63724 | 2020-07-18 1:29:36 | 0:07:11 | 17690 | build successful |
| 10.8 | 21848 | 2020-07-18 1:28:36 | 0:05:49 | 6312 | build successful |
| 10.13 | 87841 | 2020-07-18 1:28:10 | 0:07:43 | 26962 | build successful |
| 10.11 | 117934 | 2020-07-18 1:27:05 | 0:06:09 | 36007 | build successful |
| 10.10 | 119560 | 2020-07-18 1:27:05 | 0:07:04 | 36065 | build successful |
| 10.6.x86_64 | 30587 | 2020-07-18 1:23:28 | 0:13:00 | 8457 | failed install-port |
| 10.7 | 26798 | 2020-07-18 1:19:26 | 0:06:54 | 8444 | build successful |
| 10.15 | 34506 | 2020-07-18 1:18:29 | 0:07:54 | 7243 | build successful |
| 10.9 | 123056 | 2020-07-18 1:12:12 | 0:05:16 | 36016 | build successful |
| 10.6 | 15140 | 2020-07-18 0:41:10 | 0:01:43 | 8450 | failed install-dependencies |
| 10.6 | 14722 | 2020-07-07 21:11:50 | 0:01:26 | 8164 | failed install-dependencies |
| 10.12 | 121078 | 2020-07-07 6:44:03 | 0:10:49 | 33589 | build successful |
| 10.11 | 117199 | 2020-07-07 1:43:28 | 0:09:34 | 35722 | build successful |
| 10.14 | 62996 | 2020-07-07 1:28:29 | 0:09:50 | 17405 | build successful |
| 10.15 | 33770 | 2020-07-06 23:57:24 | 0:01:40 | 6958 | build successful |
| 10.8 | 21110 | 2020-07-06 23:37:17 | 0:07:13 | 6026 | build successful |
| 10.13 | 87104 | 2020-07-06 23:34:15 | 0:06:23 | 26677 | build successful |
| 10.10 | 118819 | 2020-07-06 23:33:32 | 0:06:17 | 35780 | build successful |
| 10.9 | 122311 | 2020-07-06 23:26:15 | 0:07:07 | 35731 | build successful |
| 10.7 | 26022 | 2020-07-06 21:22:39 | 0:08:19 | 8158 | build successful |
| 10.6.x86_64 | 29837 | 2020-07-06 20:33:27 | 0:15:14 | 8171 | failed install-port |
| 10.8 | 20345 | 2020-06-30 18:29:23 | 0:07:16 | 5558 | build successful |
| 10.7 | 24357 | 2020-06-26 15:38:08 | 0:13:26 | 7026 | build successful |
| 10.14 | 62243 | 2020-06-23 23:42:25 | 0:07:34 | 16938 | build successful |
| 10.11 | 116431 | 2020-06-23 23:37:12 | 0:06:50 | 35255 | build successful |
| 10.13 | 86356 | 2020-06-23 23:33:50 | 0:07:18 | 26210 | build successful |
| 10.10 | 118022 | 2020-06-23 23:32:52 | 0:06:37 | 35312 | build successful |
| 10.6.x86_64 | 28966 | 2020-06-23 23:30:56 | 0:13:04 | 7703 | failed install-port |
| 10.15 | 33021 | 2020-06-23 23:28:39 | 0:07:27 | 6489 | build successful |
| 10.9 | 121506 | 2020-06-23 23:23:46 | 0:04:38 | 35264 | build successful |
| 10.6 | 14225 | 2020-06-23 22:53:07 | 0:01:46 | 7695 | failed install-dependencies |
| 10.8 | 17048 | 2020-06-18 20:14:52 | 0:10:59 | 4892 | build successful |
| 10.10 | 117021 | 2020-06-18 7:02:00 | 0:11:30 | 34650 | build successful |