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 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.14 | 137666 | 2022-08-29 3:47:31 | 0:08:25 | 43787 | build successful |
| 12 | 39818 | 2022-08-29 3:36:03 | 0:10:00 | 11459 | build successful |
| 10.12 | 197012 | 2022-08-29 3:27:07 | 0:10:48 | 60930 | build successful |
| 10.8 | 100699 | 2022-08-29 3:16:14 | 0:18:25 | 32483 | build successful |
| 10.15 | 110548 | 2022-08-29 3:14:34 | 0:12:16 | 32780 | build successful |
| 10.11 | 192630 | 2022-08-29 3:13:56 | 0:15:17 | 62129 | build successful |
| 10.6.x86_64 | 119550 | 2022-08-29 3:13:07 | 0:21:20 | 34676 | build successful |
| 10.10 | 193568 | 2022-08-29 3:12:47 | 0:21:18 | 62009 | build successful |
| 11 | 82696 | 2022-08-29 3:11:42 | 0:08:26 | 22682 | build successful |
| 10.9 | 198898 | 2022-08-29 3:08:18 | 0:10:53 | 61702 | build successful |
| 11.arm64 | 64061 | 2022-08-29 3:03:21 | 0:02:08 | 22637 | build successful |
| 11.arm64 | 62610 | 2022-08-09 20:51:11 | 0:02:01 | 21817 | build successful |
| 12 | 38221 | 2022-08-09 17:29:31 | 0:05:21 | 10637 | build successful |
| 10.12 | 195072 | 2022-08-09 14:48:29 | 0:11:21 | 60112 | build successful |
| 10.8 | 98763 | 2022-08-09 14:48:22 | 0:26:08 | 31666 | build successful |
| 10.13 | 159061 | 2022-08-09 14:48:14 | 0:28:42 | 52197 | build successful |
| 10.7 | 108933 | 2022-08-09 14:48:06 | 0:26:03 | 33615 | failed install-port |
| 10.10 | 191691 | 2022-08-09 14:47:59 | 0:26:24 | 61193 | build successful |
| 10.14 | 135800 | 2022-08-09 14:47:51 | 0:14:19 | 42970 | build successful |
| 10.6.x86_64 | 117626 | 2022-08-09 14:47:41 | 0:29:29 | 33857 | build successful |
| 11 | 81009 | 2022-08-09 14:47:33 | 0:09:27 | 21863 | build successful |
| 10.11 | 190754 | 2022-08-09 14:47:26 | 0:19:26 | 61313 | build successful |
| 10.9 | 196971 | 2022-08-09 14:47:12 | 0:19:04 | 60885 | build successful |
| 10.15 | 108676 | 2022-08-09 14:47:05 | 0:13:48 | 31963 | build successful |
| 12.arm64 | 60235 | 2022-08-09 14:47:01 | 0:01:49 | 10641 | build successful |
| 11.arm64 | 61787 | 2022-07-31 3:19:28 | 0:02:17 | 21486 | build successful |
| 10.8 | 97763 | 2022-07-30 22:29:25 | 0:09:44 | 31337 | build successful |
| 10.13 | 158061 | 2022-07-30 22:04:48 | 0:12:00 | 51868 | build successful |
| 12 | 37337 | 2022-07-30 21:53:08 | 0:08:35 | 10308 | build successful |
| 10.10 | 190727 | 2022-07-30 21:45:35 | 0:09:59 | 60864 | build successful |
| 10.7 | 107938 | 2022-07-30 20:37:30 | 0:15:09 | 33286 | failed install-port |
| 10.14 | 134818 | 2022-07-30 19:47:25 | 0:12:39 | 42641 | build successful |
| 10.15 | 107704 | 2022-07-30 19:03:07 | 0:06:44 | 31634 | build successful |
| 10.11 | 189773 | 2022-07-30 17:29:02 | 0:13:22 | 60984 | build successful |
| 10.9 | 195983 | 2022-07-30 17:28:09 | 0:12:48 | 60556 | build successful |
| 10.6.x86_64 | 116408 | 2022-07-30 14:53:35 | 0:24:24 | 33516 | build successful |
| 12.arm64 | 59488 | 2022-07-30 12:57:56 | 0:02:08 | 10309 | build successful |
| 11 | 80109 | 2022-07-30 12:53:35 | 0:09:25 | 21534 | build successful |
| 10.12 | 194071 | 2022-07-30 12:46:40 | 0:09:16 | 59783 | build successful |
| 10.11 | 187451 | 2022-07-02 20:47:55 | 0:11:47 | 60122 | build successful |
| 11.arm64 | 59925 | 2022-07-02 20:41:16 | 0:01:55 | 20621 | build successful |
| 10.14 | 132252 | 2022-07-02 16:56:02 | 0:11:26 | 41779 | build successful |
| 10.6.x86_64 | 114118 | 2022-07-02 15:20:25 | 0:28:39 | 32652 | build successful |
| 10.15 | 104964 | 2022-07-02 15:20:11 | 0:13:43 | 30773 | build successful |
| 11 | 77373 | 2022-07-02 14:52:32 | 0:08:12 | 20673 | build successful |
| 10.8 | 95511 | 2022-07-02 14:46:23 | 0:16:23 | 30476 | build successful |
| 10.13 | 155716 | 2022-07-02 14:44:52 | 0:19:02 | 51007 | build successful |
| 10.9 | 193692 | 2022-07-02 14:42:27 | 0:16:33 | 59695 | build successful |
| 10.7 | 105664 | 2022-07-02 14:37:05 | 0:19:56 | 32424 | failed install-port |
| 10.12 | 191723 | 2022-07-02 14:36:22 | 0:09:49 | 58922 | build successful |
| 10.10 | 188475 | 2022-07-02 14:36:13 | 0:19:19 | 60003 | build successful |
| 12 | 34779 | 2022-07-02 14:36:01 | 0:10:43 | 9446 | build successful |
| 12.arm64 | 57220 | 2022-07-02 14:33:15 | 0:02:07 | 9446 | build successful |
| 10.7 | 103356 | 2022-06-10 21:31:36 | 0:10:32 | 31654 | failed install-port |
| 11.arm64 | 55147 | 2022-05-29 13:16:05 | 0:02:06 | 19335 | build successful |
| 10.8 | 90968 | 2022-05-29 7:16:58 | 0:23:50 | 29200 | build successful |
| 10.6.x86_64 | 106995 | 2022-05-29 7:16:47 | 0:23:18 | 31314 | build successful |
| 11 | 73768 | 2022-05-29 7:16:26 | 0:10:05 | 19392 | build successful |
| 10.10 | 184591 | 2022-05-29 7:16:17 | 0:24:13 | 58726 | build successful |
| 10.15 | 101298 | 2022-05-29 7:16:10 | 0:12:50 | 29497 | build successful |
| 10.9 | 189594 | 2022-05-29 7:16:02 | 0:18:18 | 58417 | build successful |
| 10.11 | 183423 | 2022-05-29 7:15:54 | 0:18:32 | 58841 | build successful |
| 10.14 | 128630 | 2022-05-29 7:15:47 | 0:13:16 | 40502 | build successful |
| 10.12 | 187997 | 2022-05-29 7:15:38 | 0:11:51 | 57645 | build successful |
| 10.7 | 100555 | 2022-05-29 7:15:29 | 0:24:34 | 31147 | failed install-port |
| 12 | 30915 | 2022-05-29 7:15:21 | 0:16:10 | 8171 | build successful |
| 10.13 | 152141 | 2022-05-29 7:15:11 | 0:26:50 | 49731 | build successful |
| 12.arm64 | 52435 | 2022-05-29 7:14:53 | 0:01:49 | 8162 | build successful |
| 10.7 | 99843 | 2022-05-23 22:34:18 | 0:13:10 | 30954 | failed install-port |
| 11.arm64 | 50159 | 2022-04-05 0:11:46 | 0:02:02 | 17561 | build successful |
| 10.15 | 95849 | 2022-04-04 16:36:53 | 0:07:04 | 27734 | build successful |
| 11 | 68522 | 2022-04-04 16:28:19 | 0:09:06 | 17619 | build successful |
| 10.11 | 177839 | 2022-04-04 16:22:18 | 0:11:53 | 57067 | build successful |
| 10.14 | 123232 | 2022-04-04 16:18:34 | 0:08:16 | 38735 | build successful |
| 10.9 | 183962 | 2022-04-04 16:18:21 | 0:12:04 | 56648 | build successful |
| 10.12 | 182526 | 2022-04-04 16:12:59 | 0:08:50 | 55877 | build successful |
| 12 | 25844 | 2022-04-04 16:12:52 | 0:11:30 | 6402 | build successful |
| 10.13 | 146766 | 2022-04-04 16:10:12 | 0:15:20 | 47962 | build successful |
| 10.10 | 179062 | 2022-04-04 16:06:32 | 0:10:55 | 56957 | build successful |
| 12.arm64 | 46733 | 2022-04-04 15:04:06 | 0:01:59 | 6386 | build successful |
| 10.8 | 85057 | 2022-04-04 14:48:54 | 0:10:41 | 27427 | build successful |
| 10.7 | 94209 | 2022-04-04 14:42:13 | 0:11:07 | 29374 | failed install-port |
| 10.6.x86_64 | 98519 | 2022-04-04 14:41:57 | 0:12:08 | 29519 | build successful |
| 11.arm64 | 49219 | 2022-03-20 21:18:53 | 0:02:02 | 17042 | build successful |
| 10.15 | 94484 | 2022-03-20 14:40:23 | 0:06:13 | 27221 | build successful |
| 11 | 67275 | 2022-03-20 14:37:50 | 0:07:32 | 17101 | build successful |
| 12 | 24247 | 2022-03-20 13:17:00 | 0:14:36 | 5884 | build successful |
| 12.arm64 | 45249 | 2022-03-20 13:07:13 | 0:01:52 | 5868 | build successful |
| 10.11 | 176493 | 2022-03-20 13:07:06 | 0:18:09 | 56554 | build successful |
| 10.8 | 83654 | 2022-03-20 13:06:58 | 0:23:46 | 26914 | build successful |
| 10.14 | 121898 | 2022-03-20 13:06:51 | 0:12:25 | 38219 | build successful |
| 10.6.x86_64 | 96906 | 2022-03-20 13:06:42 | 0:23:01 | 29005 | build successful |
| 10.12 | 181163 | 2022-03-20 13:06:29 | 0:09:44 | 55364 | build successful |
| 10.7 | 92597 | 2022-03-20 13:06:17 | 0:23:29 | 28861 | failed install-port |
| 10.9 | 182572 | 2022-03-20 13:05:59 | 0:15:29 | 56135 | build successful |
| 10.13 | 145402 | 2022-03-20 13:05:48 | 0:25:21 | 47449 | build successful |
| 10.10 | 177712 | 2022-03-20 13:04:57 | 0:21:10 | 56444 | build successful |
| 12.arm64 | 42758 | 2022-02-16 0:42:18 | 0:02:06 | 4828 | build successful |
| 11 | 64300 | 2022-02-15 14:21:00 | 0:11:14 | 16063 | build successful |
| 10.6.x86_64 | 93136 | 2022-02-15 14:20:53 | 0:21:43 | 27966 | build successful |