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 3 of 3 | Showing build(s) 201 to 283
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.11 | 173466 | 2022-02-15 14:20:46 | 0:19:10 | 55519 | build successful |
| 10.8 | 80576 | 2022-02-15 14:20:39 | 0:24:23 | 25878 | build successful |
| 10.12 | 178118 | 2022-02-15 14:20:32 | 0:12:22 | 54329 | build successful |
| 10.15 | 91355 | 2022-02-15 14:20:24 | 0:13:23 | 26183 | build successful |
| 12 | 21685 | 2022-02-15 14:20:17 | 0:18:46 | 4845 | build successful |
| 10.9 | 179520 | 2022-02-15 14:20:10 | 0:19:15 | 55098 | build successful |
| 10.14 | 118804 | 2022-02-15 14:20:03 | 0:13:16 | 37182 | build successful |
| 10.7 | 89221 | 2022-02-15 14:19:56 | 0:24:28 | 27824 | failed install-port |
| 10.10 | 174742 | 2022-02-15 14:19:50 | 0:24:52 | 55409 | build successful |
| 10.13 | 142314 | 2022-02-15 14:19:43 | 0:25:22 | 46413 | build successful |
| 11.arm64 | 46878 | 2022-02-15 14:19:36 | 0:02:16 | 16002 | build successful |
| 12 | 19846 | 2022-01-25 18:11:46 | 0:08:16 | 4063 | build successful |
| 12.arm64 | 41146 | 2022-01-25 16:26:01 | 0:01:58 | 4080 | build successful |
| 10.6.x86_64 | 91191 | 2022-01-25 16:07:07 | 0:17:30 | 27219 | build successful |
| 10.8 | 78610 | 2022-01-25 15:31:13 | 0:12:11 | 25133 | build successful |
| 10.13 | 140393 | 2022-01-25 14:36:30 | 0:30:36 | 45668 | build successful |
| 10.7 | 87157 | 2022-01-25 14:36:23 | 0:26:52 | 27076 | failed install-port |
| 10.10 | 172821 | 2022-01-25 14:36:15 | 0:26:22 | 54663 | build successful |
| 10.14 | 116901 | 2022-01-25 14:36:07 | 0:13:54 | 36437 | build successful |
| 10.12 | 176177 | 2022-01-25 14:35:57 | 0:12:03 | 53584 | build successful |
| 11 | 62542 | 2022-01-25 14:35:45 | 0:09:44 | 15316 | build successful |
| 10.11 | 171549 | 2022-01-25 14:35:38 | 0:18:25 | 54773 | build successful |
| 10.15 | 89425 | 2022-01-25 14:35:32 | 0:12:47 | 25438 | build successful |
| 10.9 | 177595 | 2022-01-25 14:35:21 | 0:18:03 | 54352 | build successful |
| 11.arm64 | 45322 | 2022-01-25 14:35:13 | 0:02:20 | 15256 | build successful |
| 12 | 5181 | 2021-12-03 2:43:46 | 0:07:27 | 881 | build successful |
| 10.14 | 106009 | 2021-11-15 20:51:38 | 0:06:27 | 33286 | build successful |
| 10.15 | 77786 | 2021-11-15 14:36:42 | 0:09:31 | 22278 | build successful |
| 11 | 52642 | 2021-11-15 9:43:21 | 0:10:37 | 12093 | build successful |
| 10.11 | 160469 | 2021-11-15 3:53:39 | 0:13:40 | 51637 | build successful |
| 10.13 | 129632 | 2021-11-15 0:45:42 | 0:12:25 | 42576 | build successful |
| 10.8 | 67206 | 2021-11-14 11:05:02 | 0:22:23 | 21968 | build successful |
| 10.12 | 165227 | 2021-11-14 7:16:43 | 0:12:32 | 50623 | build successful |
| 12.arm64 | 13880 | 2021-11-14 1:42:32 | 0:02:21 | 1010 | build successful |
| 10.6.x86_64 | 79588 | 2021-11-14 0:59:33 | 0:13:40 | 24077 | build successful |
| 11.arm64 | 34423 | 2021-11-14 0:27:56 | 0:02:20 | 12282 | build successful |
| 10.10 | 161826 | 2021-11-13 23:04:11 | 0:12:56 | 51701 | build successful |
| 10.9 | 166532 | 2021-11-13 19:50:58 | 0:14:19 | 51386 | build successful |
| 10.7 | 75079 | 2021-11-13 19:34:11 | 0:17:59 | 24110 | build successful |
| 10.13 | 124112 | 2021-09-29 11:24:54 | 0:09:47 | 40656 | build successful |
| 10.15 | 72333 | 2021-09-29 7:16:48 | 0:08:25 | 20359 | build successful |
| 10.8 | 61631 | 2021-09-29 7:15:51 | 0:22:56 | 20047 | build successful |
| 10.11 | 154840 | 2021-09-29 6:31:06 | 0:16:14 | 49717 | build successful |
| 10.7 | 69402 | 2021-09-29 6:22:17 | 0:21:15 | 22188 | build successful |
| 10.10 | 156200 | 2021-09-29 6:13:40 | 0:18:02 | 49780 | build successful |
| 10.12 | 159740 | 2021-09-29 5:55:00 | 0:12:19 | 48704 | build successful |
| 10.14 | 100568 | 2021-09-29 5:48:19 | 0:14:01 | 31366 | build successful |
| 10.9 | 160790 | 2021-09-29 5:02:16 | 0:16:29 | 49465 | build successful |
| 11 | 47262 | 2021-09-29 4:30:00 | 0:13:03 | 10173 | build successful |
| 11.arm64 | 30047 | 2021-09-28 23:49:33 | 0:02:21 | 10361 | build successful |
| 10.6.x86_64 | 74038 | 2021-09-28 23:39:02 | 0:25:07 | 22153 | build successful |
| 10.7 | 65537 | 2021-08-17 18:57:41 | 0:10:26 | 20965 | build successful |
| 10.6.x86_64 | 70512 | 2021-08-17 18:57:29 | 0:10:48 | 20928 | build successful |
| 10.12 | 156024 | 2021-08-16 6:19:16 | 0:10:57 | 47426 | build successful |
| 10.6.x86_64 | 70372 | 2021-08-16 6:19:10 | 0:04:16 | 20872 | failed install-port |
| 10.7 | 65370 | 2021-08-16 6:19:03 | 0:03:51 | 20909 | failed install-port |
| 10.13 | 120416 | 2021-08-16 6:18:57 | 0:09:12 | 39378 | build successful |
| 10.6.x86_64 | 70371 | 2021-08-16 5:38:02 | 0:04:31 | 20871 | failed install-port |
| 10.12 | 156023 | 2021-08-16 5:37:55 | 0:04:52 | 47425 | failed install-port |
| 10.7 | 65369 | 2021-08-16 5:37:49 | 0:05:08 | 20908 | failed install-port |
| 10.10 | 152477 | 2021-08-16 5:37:38 | 0:12:16 | 48500 | build successful |
| 10.9 | 156725 | 2021-08-16 5:37:31 | 0:09:41 | 48183 | build successful |
| 10.8 | 57844 | 2021-08-16 5:37:25 | 0:13:37 | 18767 | build successful |
| 10.13 | 120415 | 2021-08-16 5:37:14 | 0:05:20 | 39377 | failed install-port |
| 10.6.x86_64 | 70370 | 2021-08-16 4:55:09 | 0:04:06 | 20870 | failed install-port |
| 10.7 | 65368 | 2021-08-16 4:55:01 | 0:04:10 | 20907 | failed install-port |
| 10.12 | 156022 | 2021-08-16 4:54:55 | 0:05:02 | 47424 | failed install-port |
| 10.8 | 57843 | 2021-08-16 4:54:48 | 0:01:44 | 18766 | failed install-port |
| 10.13 | 120414 | 2021-08-16 4:54:42 | 0:04:24 | 39376 | failed install-port |
| 10.9 | 156724 | 2021-08-16 4:54:36 | 0:01:35 | 48182 | failed install-port |
| 10.10 | 152476 | 2021-08-16 4:54:28 | 0:01:50 | 48499 | failed install-port |
| 11 | 43000 | 2021-08-16 4:40:21 | 0:09:41 | 8892 | build successful |
| 10.11 | 151105 | 2021-08-16 4:40:13 | 0:08:08 | 48435 | build successful |
| 10.14 | 96940 | 2021-08-16 4:40:06 | 0:06:52 | 30085 | build successful |
| 10.6.x86_64 | 70369 | 2021-08-16 4:39:59 | 0:05:39 | 20869 | failed install-port |
| 10.15 | 68319 | 2021-08-16 4:39:52 | 0:09:12 | 19078 | build successful |
| 10.12 | 156021 | 2021-08-16 4:39:46 | 0:05:36 | 47423 | failed install-port |
| 10.7 | 65367 | 2021-08-16 4:39:39 | 0:01:59 | 20906 | failed install-port |
| 10.9 | 156723 | 2021-08-16 4:39:32 | 0:01:39 | 48181 | failed install-port |
| 10.8 | 57842 | 2021-08-16 4:39:26 | 0:01:54 | 18765 | failed install-port |
| 10.10 | 152475 | 2021-08-16 4:39:19 | 0:02:02 | 48498 | failed install-port |
| 10.13 | 120413 | 2021-08-16 4:39:12 | 0:05:18 | 39375 | failed install-port |
| 11.arm64 | 27833 | 2021-08-16 4:39:05 | 0:02:39 | 9079 | build successful |