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 6 of 6 | Showing build(s) 501 to 531
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.14 | 43440 | 2019-10-22 16:02:53 | 0:06:12 | 10287 | build successful |
| 10.11 | 98617 | 2019-10-22 9:41:14 | 0:06:47 | 28451 | build successful |
| 10.12 | 103837 | 2019-10-21 23:24:49 | 0:06:42 | 27592 | build successful |
| 10.9 | 103054 | 2019-10-21 17:51:28 | 0:05:09 | 28597 | build successful |
| 10.10 | 99560 | 2019-10-21 4:52:23 | 0:05:50 | 28492 | build successful |
| 10.14 | 42742 | 2019-10-20 12:35:20 | 0:06:10 | 10126 | build successful |
| 10.12 | 103106 | 2019-10-19 6:31:13 | 0:06:31 | 27431 | build successful |
| 10.9 | 102139 | 2019-10-17 21:07:44 | 0:07:05 | 28436 | build successful |
| 10.13 | 67874 | 2019-10-16 23:11:10 | 0:07:04 | 19224 | build successful |
| 10.11 | 98121 | 2019-10-16 1:02:08 | 0:06:33 | 28265 | build successful |
| 10.12 | 102598 | 2019-10-15 19:47:52 | 0:06:23 | 27245 | build successful |
| 10.14 | 42222 | 2019-10-15 14:25:40 | 0:06:13 | 9940 | build successful |
| 10.10 | 98760 | 2019-10-15 10:52:34 | 0:07:04 | 28306 | build successful |
| 10.9 | 101482 | 2019-10-14 17:33:41 | 0:05:00 | 28250 | build successful |
| 10.11 | 95803 | 2019-10-03 3:47:18 | 0:07:12 | 27982 | build successful |
| 10.13 | 65508 | 2019-10-03 3:37:27 | 0:07:30 | 18942 | build successful |
| 10.10 | 96348 | 2019-10-03 3:35:50 | 0:05:45 | 28024 | build successful |
| 10.12 | 100218 | 2019-10-03 3:27:55 | 0:06:55 | 26963 | build successful |
| 10.9 | 98922 | 2019-10-03 3:25:37 | 0:04:49 | 27968 | build successful |
| 10.14 | 39783 | 2019-10-03 3:15:18 | 0:06:46 | 9658 | build successful |
| 10.13 | 65383 | 2019-10-01 4:22:37 | 0:09:19 | 18875 | build successful |
| 10.11 | 95665 | 2019-10-01 3:16:35 | 0:10:11 | 27915 | build successful |
| 10.12 | 100069 | 2019-10-01 2:42:52 | 0:10:56 | 26896 | build successful |
| 10.9 | 98787 | 2019-10-01 0:43:07 | 0:07:50 | 27901 | build successful |
| 10.10 | 96214 | 2019-09-30 22:37:00 | 0:08:18 | 27957 | build successful |
| 10.14 | 39470 | 2019-09-28 4:08:43 | 0:07:36 | 9523 | build successful |
| 10.12 | 99881 | 2019-09-28 3:08:58 | 0:01:11 | 26828 | failed install-dependencies |
| 10.11 | 95477 | 2019-09-28 3:07:08 | 0:00:44 | 27847 | failed install-dependencies |
| 10.13 | 65195 | 2019-09-28 3:07:08 | 0:00:54 | 18807 | failed install-dependencies |
| 10.10 | 96025 | 2019-09-28 3:06:18 | 0:00:51 | 27889 | failed install-dependencies |
| 10.9 | 98598 | 2019-09-28 3:01:33 | 0:00:33 | 27833 | failed install-dependencies |