kremlin_select (lang/fstar) Add to my watchlist
Obsolete portThis port is obsolete.
Version: 1.3 License: none
GitHub
12 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.11 | 95801 | 2019-10-03 3:40:37 | 0:01:06 | 27982 | build successful |
| 10.10 | 96346 | 2019-10-03 3:29:29 | 0:00:56 | 28024 | build successful |
| 10.13 | 65506 | 2019-10-03 3:28:50 | 0:01:38 | 18942 | build successful |
| 10.12 | 100216 | 2019-10-03 3:20:40 | 0:01:26 | 26963 | build successful |
| 10.9 | 98920 | 2019-10-03 3:20:40 | 0:00:42 | 27968 | build successful |
| 10.14 | 39781 | 2019-10-03 3:08:49 | 0:01:05 | 9658 | build successful |
| 10.14 | 39468 | 2019-09-28 3:59:01 | 0:00:58 | 9523 | build successful |
| 10.12 | 99879 | 2019-09-28 3:05:51 | 0:01:42 | 26828 | build successful |
| 10.11 | 95475 | 2019-09-28 3:05:27 | 0:00:57 | 27847 | build successful |
| 10.13 | 65193 | 2019-09-28 3:05:12 | 0:01:06 | 18807 | build successful |
| 10.10 | 96023 | 2019-09-28 3:04:17 | 0:01:10 | 27889 | build successful |
| 10.9 | 98596 | 2019-09-28 3:00:10 | 0:00:49 | 27833 | build successful |