idris2 (lang/idris2) Updated: 5 months ago Add to my watchlist
Purely functional programming language with dependent typesVersion: 0.7.0 License: BSD
GitHub
45 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 8990 | 2024-10-10 0:49:16 | 0:12:15 | 836 | build successful |
| 10.6.x86_64 | 211072 | 2024-07-28 19:02:05 | 0:00:08 | 61396 | failed install-dependencies |
| 10.7 | 199037 | 2024-07-25 23:39:24 | 0:23:57 | 61041 | build successful |
| 10.10 | 277880 | 2024-07-25 18:59:15 | 0:01:08 | 88629 | failed install-port |
| 10.9 | 285173 | 2024-07-25 11:52:57 | 0:29:56 | 88301 | build successful |
| 10.11 | 271952 | 2024-07-25 11:51:22 | 0:01:22 | 88791 | failed install-port |
| 10.6 | 174755 | 2024-07-25 11:47:39 | 0:03:09 | 61285 | failed install-port |
| 10.6.x86_64 | 210503 | 2024-07-25 11:44:06 | 0:00:19 | 61329 | failed install-dependencies |
| 10.8 | 185553 | 2024-07-25 11:12:27 | 0:26:37 | 59094 | build successful |
| 13 | 73129 | 2024-06-26 17:44:59 | 0:17:16 | 22937 | build successful |
| 12 | 112352 | 2024-06-26 13:53:09 | 0:34:36 | 37157 | build successful |
| 10.13 | 238607 | 2024-06-26 11:15:51 | 0:23:52 | 78626 | build successful |
| 10.14 | 212797 | 2024-06-26 11:07:15 | 0:26:07 | 69297 | build successful |
| 10.7 | 196437 | 2024-06-26 2:02:34 | 0:00:10 | 60035 | failed install-dependencies |
| 10.10 | 275425 | 2024-06-26 1:15:45 | 0:01:31 | 87623 | failed install-dependencies |
| 10.8 | 183036 | 2024-06-26 0:50:40 | 0:02:14 | 58088 | failed install-dependencies |
| 14 | 42199 | 2024-06-25 19:51:57 | 0:16:16 | 11136 | build successful |
| 10.15 | 189676 | 2024-06-25 18:52:19 | 0:25:43 | 58365 | build successful |
| 12.arm64 | 131503 | 2024-06-25 15:20:38 | 0:06:33 | 37059 | build successful |
| 10.9 | 282545 | 2024-06-25 13:09:17 | 0:00:52 | 87294 | failed install-dependencies |
| 10.11 | 269534 | 2024-06-25 12:23:14 | 0:02:31 | 87784 | failed install-port |
| 11 | 160520 | 2024-06-25 12:17:00 | 0:26:33 | 48293 | build successful |
| 10.12 | 279057 | 2024-06-25 8:18:16 | 0:27:11 | 86500 | build successful |
| 13.arm64 | 65186 | 2024-06-25 5:08:05 | 0:06:32 | 22681 | build successful |
| 10.6 | 171923 | 2024-06-24 19:46:42 | 0:04:02 | 60274 | failed install-port |
| 10.6.x86_64 | 207617 | 2024-06-24 19:46:11 | 0:00:35 | 60319 | failed install-dependencies |
| 14.arm64 | 35179 | 2024-06-24 19:45:24 | 0:06:51 | 10776 | build successful |
| 14 | 42102 | 2024-06-22 20:08:08 | 0:17:33 | 11055 | build successful |
| 13.arm64 | 65070 | 2024-06-22 20:00:00 | 0:08:44 | 22600 | build successful |
| 12.arm64 | 131417 | 2024-06-22 19:38:59 | 0:09:14 | 36978 | build successful |
| 10.11 | 269380 | 2024-06-22 14:44:37 | 0:02:38 | 87702 | failed install-port |
| 10.8 | 182863 | 2024-06-22 14:44:10 | 0:02:07 | 58006 | failed install-dependencies |
| 10.14 | 212611 | 2024-06-22 14:43:38 | 0:26:32 | 69216 | build successful |
| 10.6 | 171689 | 2024-06-22 14:43:03 | 0:04:17 | 60193 | failed install-port |
| 10.9 | 282358 | 2024-06-22 14:42:43 | 0:00:49 | 87212 | failed install-dependencies |
| 10.10 | 275232 | 2024-06-22 14:42:21 | 0:00:51 | 87541 | failed install-dependencies |
| 10.7 | 196255 | 2024-06-22 14:41:58 | 0:00:14 | 59953 | failed install-dependencies |
| 10.6.x86_64 | 207371 | 2024-06-22 14:41:39 | 0:00:13 | 60237 | failed install-dependencies |
| 13 | 72990 | 2024-06-22 14:41:18 | 0:17:41 | 22856 | build successful |
| 11 | 160349 | 2024-06-22 14:40:57 | 0:28:41 | 48212 | build successful |
| 10.15 | 189493 | 2024-06-22 14:40:39 | 0:26:19 | 58284 | build successful |
| 10.12 | 278883 | 2024-06-22 14:40:18 | 0:27:14 | 86419 | build successful |
| 12 | 112169 | 2024-06-22 14:39:56 | 0:25:47 | 37076 | build successful |
| 10.13 | 238420 | 2024-06-22 14:39:40 | 0:24:59 | 78545 | build successful |
| 14.arm64 | 34934 | 2024-06-22 14:39:09 | 0:07:12 | 10695 | build successful |