polyml (lang/polyml) Updated: 1 year, 4 months ago Add to my watchlist
An implementation of Standard ML.Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.
Version: 5.9.1 License: LGPL-2.1
GitHub
107 build(s) found
Page 2 of 2 | Showing build(s) 101 to 107
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.8 | 24933 | 2020-09-06 8:27:11 | 0:02:38 | 7761 | build successful |
| 10.9 | 126111 | 2020-09-06 7:34:32 | 0:01:49 | 37465 | build successful |
| 10.7 | 29961 | 2020-09-06 6:32:05 | 0:04:26 | 9896 | build successful |
| 10.6 | 17117 | 2020-09-06 5:12:27 | 0:01:08 | 9900 | failed install-dependencies |
| 10.6.x86_64 | 33767 | 2020-09-06 4:47:35 | 0:00:47 | 9907 | failed install-dependencies |
| 10.15 | 10601 | 2019-12-08 3:20:53 | 0:02:21 | 1253 | build successful |
| 10.15 | 7074 | 2019-11-28 9:11:05 | 0:02:02 | 1029 | failed install-port |