lean (math/lean) Updated: 5 months, 1 week ago Add to my watchlist
The Lean theorem prover.A fork of Lean 3 maintained and updated by the Lean community. Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.
Version: 3.51.1 License: Apache-2
GitHub
283 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 9042 | 2024-10-10 2:02:05 | 0:04:14 | 838 | build successful |
| 12.arm64 | 136878 | 2024-09-06 21:04:50 | 0:02:01 | 39453 | build successful |
| 13 | 78247 | 2024-09-06 19:34:12 | 0:11:14 | 25306 | build successful |
| 13.arm64 | 70484 | 2024-09-06 17:20:18 | 0:01:44 | 25054 | build successful |
| 14 | 47658 | 2024-09-06 6:16:08 | 0:07:41 | 13511 | build successful |
| 10.11 | 276044 | 2024-09-05 22:10:57 | 0:15:30 | 90183 | build successful |
| 10.14 | 218428 | 2024-09-05 22:10:32 | 0:12:44 | 71666 | build successful |
| 10.12 | 285444 | 2024-09-05 22:10:03 | 0:17:43 | 88895 | build successful |
| 10.13 | 244284 | 2024-09-05 22:09:37 | 0:19:28 | 80996 | build successful |
| 10.15 | 195483 | 2024-09-05 22:09:05 | 0:10:07 | 60734 | build successful |
| 11 | 166468 | 2024-09-05 22:08:32 | 0:14:53 | 50658 | build successful |
| 10.10 | 282223 | 2024-09-05 22:08:03 | 0:17:36 | 90021 | build successful |
| 12 | 118174 | 2024-09-05 22:07:40 | 0:15:50 | 39563 | build successful |
| 10.6 | 180041 | 2024-09-05 22:07:16 | 0:00:06 | 62681 | failed install-dependencies |
| 10.9 | 289608 | 2024-09-05 22:06:38 | 0:00:07 | 89693 | failed install-dependencies |
| 10.6.x86_64 | 215881 | 2024-09-05 22:06:12 | 0:00:05 | 62725 | failed install-dependencies |
| 10.8 | 189964 | 2024-09-05 22:05:39 | 0:00:07 | 60486 | failed install-dependencies |
| 10.7 | 203602 | 2024-09-05 22:05:14 | 0:00:06 | 62433 | failed install-dependencies |
| 14.arm64 | 41771 | 2024-09-05 22:04:43 | 0:02:11 | 13146 | build successful |
| 10.7 | 199627 | 2024-07-30 20:03:00 | 0:16:31 | 61197 | failed install-port |
| 14.arm64 | 8974 | 2024-01-19 19:48:47 | 0:02:34 | 4231 | build successful |
| 14 | 10495 | 2023-11-12 11:36:55 | 0:08:03 | 1639 | build successful |
| 10.7 | 156329 | 2023-08-17 22:34:51 | 0:13:47 | 47841 | failed install-port |
| 13.arm64 | 2612 | 2023-02-26 9:05:56 | 0:01:59 | 743 | build successful |
| 10.10 | 210123 | 2023-01-13 9:48:13 | 0:13:31 | 67109 | build successful |
| 12.arm64 | 82191 | 2023-01-13 8:10:40 | 0:01:52 | 16574 | build successful |
| 12 | 55868 | 2023-01-13 8:03:08 | 0:08:40 | 16561 | build successful |
| 13 | 14654 | 2023-01-13 7:30:36 | 0:04:37 | 2037 | build successful |
| 10.8 | 118972 | 2023-01-13 7:11:18 | 0:21:09 | 37590 | build successful |
| 10.14 | 152738 | 2023-01-13 6:57:32 | 0:21:21 | 48875 | build successful |
| 10.7 | 129741 | 2023-01-13 6:52:32 | 0:22:44 | 39547 | failed install-port |
| 10.13 | 177300 | 2023-01-13 6:51:34 | 0:26:05 | 58108 | build successful |
| 10.11 | 207549 | 2023-01-13 6:46:21 | 0:18:05 | 67229 | build successful |
| 10.6.x86_64 | 139237 | 2023-01-13 6:45:38 | 0:20:28 | 39805 | build successful |
| 10.15 | 126822 | 2023-01-13 6:40:25 | 0:14:24 | 37867 | build successful |
| 10.12 | 214888 | 2023-01-13 6:39:14 | 0:10:03 | 66029 | build successful |
| 11 | 99385 | 2023-01-13 6:37:45 | 0:09:10 | 27780 | build successful |
| 11.arm64 | 81427 | 2023-01-13 6:31:46 | 0:02:04 | 27757 | build successful |
| 10.9 | 215789 | 2023-01-13 6:31:34 | 0:20:18 | 66805 | build successful |
| 10.7 | 126234 | 2022-12-26 22:00:59 | 0:16:44 | 38619 | failed install-port |
| 10.9 | 213461 | 2022-12-26 20:47:57 | 0:08:36 | 65880 | build successful |
| 12.arm64 | 79328 | 2022-12-26 20:42:28 | 0:01:53 | 15651 | build successful |
| 10.14 | 150938 | 2022-12-26 17:00:30 | 0:10:30 | 47956 | build successful |
| 12 | 53552 | 2022-12-26 16:01:48 | 0:12:46 | 15639 | build successful |
| 13 | 6982 | 2022-12-26 13:35:06 | 0:04:38 | 1023 | build successful |
| 10.13 | 175369 | 2022-12-26 11:56:28 | 0:15:37 | 57189 | build successful |
| 10.11 | 205631 | 2022-12-26 11:53:02 | 0:12:48 | 66308 | build successful |
| 10.15 | 124806 | 2022-12-26 11:52:47 | 0:11:03 | 36950 | build successful |
| 11 | 97132 | 2022-12-26 11:52:35 | 0:06:49 | 26860 | build successful |
| 10.10 | 207975 | 2022-12-26 11:45:08 | 0:21:56 | 66187 | build successful |
| 10.12 | 212812 | 2022-12-26 11:44:11 | 0:09:26 | 65109 | build successful |
| 10.6.x86_64 | 135025 | 2022-12-26 11:42:45 | 0:15:55 | 38874 | build successful |
| 10.8 | 115603 | 2022-12-26 11:40:39 | 0:24:44 | 36661 | build successful |
| 11.arm64 | 78592 | 2022-12-26 11:36:06 | 0:02:07 | 26834 | build successful |
| 13 | 4459 | 2022-12-20 11:38:18 | 0:04:39 | 767 | build successful |
| 11.arm64 | 77643 | 2022-12-20 8:42:08 | 0:02:02 | 26587 | build successful |
| 10.11 | 204842 | 2022-12-20 1:36:08 | 0:22:01 | 66061 | build successful |
| 10.8 | 114484 | 2022-12-20 1:35:02 | 0:24:47 | 36414 | build successful |
| 11 | 96400 | 2022-12-20 1:34:52 | 0:09:20 | 26618 | build successful |
| 10.6.x86_64 | 133777 | 2022-12-20 1:34:42 | 0:23:32 | 38627 | build successful |
| 10.12 | 211993 | 2022-12-20 1:34:31 | 0:11:52 | 64864 | build successful |
| 10.9 | 212626 | 2022-12-20 1:34:18 | 0:22:38 | 65634 | build successful |
| 10.15 | 124052 | 2022-12-20 1:34:08 | 0:15:13 | 36706 | build successful |
| 10.10 | 207162 | 2022-12-20 1:33:57 | 0:24:37 | 65941 | build successful |
| 10.13 | 174638 | 2022-12-20 1:33:39 | 0:26:18 | 56948 | build successful |
| 10.7 | 125106 | 2022-12-20 1:33:07 | 0:26:20 | 38372 | failed install-port |
| 10.14 | 150269 | 2022-12-20 1:32:57 | 0:14:23 | 47714 | build successful |
| 12 | 52865 | 2022-12-20 1:32:47 | 0:21:31 | 15396 | build successful |
| 12.arm64 | 78351 | 2022-12-20 1:32:35 | 0:01:52 | 15403 | build successful |
| 12.arm64 | 74022 | 2022-11-25 0:26:21 | 0:02:07 | 14377 | build successful |
| 10.11 | 200782 | 2022-11-24 13:04:33 | 0:14:22 | 65031 | build successful |
| 10.14 | 146332 | 2022-11-24 13:04:01 | 0:13:55 | 46691 | build successful |
| 10.12 | 207182 | 2022-11-24 13:03:21 | 0:13:10 | 63837 | build successful |
| 11 | 92237 | 2022-11-24 13:02:59 | 0:11:15 | 25594 | build successful |
| 10.8 | 109819 | 2022-11-24 13:02:38 | 0:00:30 | 35384 | failed install-dependencies |
| 10.6.x86_64 | 128706 | 2022-11-24 13:02:17 | 0:14:40 | 37596 | build successful |
| 10.13 | 170159 | 2022-11-24 13:01:55 | 0:18:49 | 55924 | build successful |
| 10.7 | 119884 | 2022-11-24 13:01:30 | 0:00:21 | 37344 | failed install-dependencies |
| 10.9 | 207526 | 2022-11-24 13:01:10 | 0:00:23 | 64605 | failed install-dependencies |
| 10.10 | 202235 | 2022-11-24 13:00:49 | 0:17:34 | 64913 | build successful |
| 10.15 | 119689 | 2022-11-24 13:00:28 | 0:10:39 | 35683 | build successful |
| 12 | 48398 | 2022-11-24 13:00:07 | 0:12:26 | 14375 | build successful |
| 11.arm64 | 74263 | 2022-11-24 12:59:44 | 0:02:17 | 25556 | build successful |
| 12.arm64 | 62482 | 2022-09-07 18:21:18 | 0:02:17 | 11790 | build successful |
| 10.8 | 101420 | 2022-09-07 4:06:18 | 0:24:09 | 32808 | build successful |
| 10.11 | 193329 | 2022-09-07 4:06:08 | 0:18:37 | 62455 | build successful |
| 10.12 | 197716 | 2022-09-07 4:05:58 | 0:12:49 | 61258 | build successful |
| 10.6.x86_64 | 120292 | 2022-09-07 4:05:48 | 0:23:36 | 35001 | build successful |
| 11 | 83548 | 2022-09-07 4:05:38 | 0:10:30 | 23010 | build successful |
| 10.7 | 111737 | 2022-09-07 4:05:29 | 0:24:16 | 34766 | failed install-port |
| 10.9 | 199627 | 2022-09-07 4:05:18 | 0:18:35 | 62028 | build successful |
| 10.10 | 194258 | 2022-09-07 4:05:07 | 0:24:30 | 62335 | build successful |
| 10.15 | 111319 | 2022-09-07 4:04:57 | 0:13:16 | 33107 | build successful |
| 10.13 | 161707 | 2022-09-07 4:04:47 | 0:26:55 | 53345 | build successful |
| 12 | 40686 | 2022-09-07 4:04:38 | 0:17:44 | 11788 | build successful |
| 10.14 | 138378 | 2022-09-07 4:04:28 | 0:13:35 | 44114 | build successful |
| 11.arm64 | 64742 | 2022-09-07 4:04:19 | 0:02:12 | 22964 | build successful |
| 12.arm64 | 61820 | 2022-08-30 4:02:41 | 0:02:02 | 11463 | build successful |
| 10.7 | 110869 | 2022-08-29 8:20:55 | 0:08:23 | 34432 | failed install-port |
| 10.13 | 160998 | 2022-08-29 4:33:42 | 0:12:20 | 53020 | build successful |