fstar_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 | 95798 | 2019-10-03 1:55:59 | 0:02:46 | 27982 | build successful |
| 10.13 | 65503 | 2019-10-03 1:55:49 | 0:02:47 | 18942 | build successful |
| 10.10 | 96343 | 2019-10-03 1:55:28 | 0:02:21 | 28024 | build successful |
| 10.12 | 100213 | 2019-10-03 1:55:18 | 0:02:37 | 26963 | build successful |
| 10.14 | 39778 | 2019-10-03 1:55:08 | 0:02:20 | 9658 | build successful |
| 10.9 | 98917 | 2019-10-03 1:54:58 | 0:02:00 | 27968 | build successful |
| 10.12 | 99876 | 2019-09-28 2:46:15 | 0:00:42 | 26828 | build successful |
| 10.14 | 39465 | 2019-09-28 2:46:02 | 0:00:41 | 9523 | build successful |
| 10.10 | 96020 | 2019-09-28 2:45:49 | 0:00:29 | 27889 | build successful |
| 10.11 | 95472 | 2019-09-28 2:45:40 | 0:00:34 | 27847 | build successful |
| 10.13 | 65190 | 2019-09-28 2:45:26 | 0:00:41 | 18807 | build successful |
| 10.9 | 98593 | 2019-09-28 2:45:14 | 0:00:22 | 27833 | build successful |