coq (lang/coq) Add to my watchlist
Proof assistant for higher-order logicCoq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Camlp4.
Version: 8.13.2 License: LGPL-2.1
GitHub
86 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 7429 | 2024-10-08 7:02:14 | 0:52:10 | 733 | build successful |
| 10.7 | 199339 | 2024-07-28 7:11:11 | 0:00:17 | 61106 | failed install-dependencies |
| 10.8 | 185913 | 2024-07-28 7:08:53 | 0:00:20 | 59159 | failed install-dependencies |
| 10.6.x86_64 | 211025 | 2024-07-28 6:51:28 | 0:00:08 | 61394 | failed install-dependencies |
| 10.6 | 175279 | 2024-07-28 6:50:00 | 0:00:09 | 61350 | failed install-dependencies |
| 14.arm64 | 5954 | 2024-01-16 15:47:25 | 0:08:12 | 3220 | build successful |
| 10.6 | 147495 | 2023-12-27 3:50:27 | 0:00:19 | 52952 | failed install-dependencies |
| 10.6.x86_64 | 182930 | 2023-12-27 3:48:56 | 0:00:15 | 52995 | failed install-dependencies |
| 10.7 | 171707 | 2023-12-27 3:48:02 | 0:00:15 | 52732 | failed install-dependencies |
| 10.8 | 159449 | 2023-12-27 3:46:45 | 0:00:23 | 50789 | failed install-dependencies |
| 14 | 11520 | 2023-11-14 3:09:47 | 0:09:19 | 1736 | build successful |
| 10.7 | 155966 | 2023-08-15 21:10:33 | 0:00:04 | 47752 | failed install-dependencies |
| 10.8 | 144384 | 2023-08-15 21:07:40 | 0:00:05 | 45812 | failed install-dependencies |
| 10.6 | 131328 | 2023-08-15 20:07:19 | 0:00:13 | 47970 | failed install-dependencies |
| 10.6.x86_64 | 166761 | 2023-08-15 20:06:34 | 0:00:10 | 48009 | failed install-dependencies |
| 13.arm64 | 8714 | 2023-03-06 14:01:25 | 0:08:22 | 4002 | build successful |
| 10.6 | 104432 | 2023-01-13 3:31:00 | 0:00:09 | 39750 | failed install-dependencies |
| 10.8 | 118845 | 2023-01-13 2:18:02 | 0:00:05 | 37565 | failed install-dependencies |
| 10.7 | 129647 | 2023-01-13 2:03:26 | 0:00:04 | 39522 | failed install-dependencies |
| 10.6.x86_64 | 139116 | 2023-01-13 2:00:48 | 0:00:08 | 39780 | failed install-dependencies |
| 13 | 10192 | 2023-01-01 14:13:47 | 0:09:44 | 1344 | build successful |
| 10.6 | 102340 | 2023-01-01 10:31:59 | 0:00:09 | 39139 | failed install-dependencies |
| 10.6.x86_64 | 137088 | 2023-01-01 10:25:21 | 0:00:07 | 39169 | failed install-dependencies |
| 10.7 | 127959 | 2023-01-01 10:16:56 | 0:00:04 | 38914 | failed install-dependencies |
| 10.8 | 117292 | 2023-01-01 10:15:49 | 0:00:05 | 36958 | failed install-dependencies |
| 10.8 | 104958 | 2022-10-14 20:16:36 | 0:00:35 | 33959 | failed install-dependencies |
| 10.6 | 89927 | 2022-10-14 20:16:11 | 0:00:27 | 36137 | failed install-dependencies |
| 10.6.x86_64 | 124055 | 2022-10-14 20:16:04 | 0:00:23 | 36164 | failed install-dependencies |
| 10.7 | 115300 | 2022-10-14 20:15:56 | 0:00:19 | 35919 | failed install-dependencies |
| 10.6 | 77014 | 2022-06-10 11:43:30 | 0:00:07 | 31843 | failed install-dependencies |
| 10.6.x86_64 | 110574 | 2022-06-10 11:36:27 | 0:00:06 | 31817 | failed install-dependencies |
| 10.8 | 93277 | 2022-06-10 11:29:03 | 0:00:03 | 29693 | failed install-dependencies |
| 10.7 | 103262 | 2022-06-10 11:27:22 | 0:00:03 | 31641 | failed install-dependencies |
| 10.6 | 71117 | 2022-05-22 15:20:24 | 0:00:08 | 31105 | failed install-dependencies |
| 10.6.x86_64 | 105247 | 2022-05-22 15:19:37 | 0:00:06 | 31073 | failed install-dependencies |
| 10.8 | 90094 | 2022-05-22 15:16:08 | 0:00:04 | 28970 | failed install-dependencies |
| 10.7 | 99645 | 2022-05-22 15:10:05 | 0:00:08 | 30917 | failed install-dependencies |
| 10.8 | 76359 | 2022-01-14 13:57:10 | 0:00:14 | 24653 | failed install-dependencies |
| 12 | 14118 | 2022-01-14 13:48:47 | 0:10:25 | 3449 | build successful |
| 10.6 | 53726 | 2022-01-14 11:43:50 | 0:00:22 | 26768 | failed install-dependencies |
| 10.6.x86_64 | 88127 | 2022-01-14 11:41:03 | 0:00:18 | 26726 | failed install-dependencies |
| 10.7 | 84515 | 2022-01-14 11:20:08 | 0:00:12 | 26599 | failed install-dependencies |
| 12.arm64 | 23897 | 2021-11-22 1:31:06 | 0:09:16 | 1435 | build successful |
| 11 | 33464 | 2021-06-09 7:31:05 | 0:11:44 | 6839 | build successful |
| 10.6.x86_64 | 59061 | 2021-06-09 6:12:05 | 0:00:47 | 18809 | failed install-dependencies |
| 10.6 | 33184 | 2021-06-09 5:58:01 | 0:00:58 | 18843 | failed install-dependencies |
| 11.arm64 | 22320 | 2021-06-09 5:54:59 | 0:12:19 | 7014 | build successful |
| 10.8 | 49012 | 2021-06-09 5:50:36 | 0:00:15 | 16710 | failed install-dependencies |
| 10.7 | 55461 | 2021-06-09 5:47:14 | 0:00:17 | 18849 | failed install-dependencies |
| 11.arm64 | 16781 | 2021-04-23 18:57:30 | 0:01:06 | 4488 | failed install-port |
| 10.15 | 54429 | 2021-04-08 1:17:31 | 0:09:47 | 14493 | build successful |
| 11 | 25887 | 2021-04-06 19:46:35 | 0:02:00 | 4286 | failed install-port |
| 10.13 | 107498 | 2021-04-03 21:36:17 | 0:10:26 | 34790 | build successful |
| 10.12 | 142967 | 2021-04-03 21:27:03 | 0:11:09 | 42833 | build successful |
| 10.14 | 83185 | 2021-04-02 22:06:26 | 0:11:38 | 25488 | build successful |
| 10.11 | 137848 | 2021-04-02 4:49:33 | 0:10:31 | 43838 | build successful |
| 10.6.x86_64 | 52350 | 2021-04-02 3:35:29 | 0:00:41 | 16269 | failed install-dependencies |
| 10.10 | 139293 | 2021-04-02 0:41:13 | 0:11:45 | 43897 | build successful |
| 10.7 | 48767 | 2021-04-02 0:15:43 | 0:00:20 | 16308 | failed install-dependencies |
| 10.9 | 143023 | 2021-04-02 0:13:38 | 0:10:52 | 43571 | build successful |
| 10.8 | 42563 | 2021-04-01 23:16:57 | 0:00:19 | 14162 | failed install-dependencies |
| 10.6 | 28696 | 2021-04-01 18:48:30 | 0:00:48 | 16306 | failed install-dependencies |
| 10.15 | 52217 | 2021-03-23 19:36:06 | 0:09:21 | 13424 | build successful |
| 11 | 22774 | 2021-03-06 11:50:30 | 0:16:42 | 3212 | build successful |
| 10.9 | 139847 | 2021-03-06 1:54:07 | 0:10:11 | 42498 | build successful |
| 10.14 | 80224 | 2021-03-06 1:34:29 | 0:12:23 | 24415 | build successful |
| 10.8 | 39436 | 2021-03-05 23:47:31 | 0:02:45 | 13087 | failed install-dependencies |
| 10.13 | 104436 | 2021-03-05 13:45:29 | 0:13:38 | 33720 | build successful |
| 10.11 | 134714 | 2021-03-05 12:55:11 | 0:18:31 | 42762 | build successful |
| 10.10 | 136226 | 2021-03-05 11:21:06 | 0:16:14 | 42824 | build successful |
| 10.12 | 139775 | 2021-03-05 6:00:25 | 0:14:54 | 41756 | build successful |
| 10.7 | 45521 | 2021-03-05 2:55:22 | 0:00:39 | 15229 | failed install-dependencies |
| 10.6.x86_64 | 49429 | 2021-03-05 1:00:23 | 0:00:35 | 15195 | failed install-dependencies |
| 10.6 | 26981 | 2021-03-04 18:40:20 | 0:01:51 | 15235 | failed install-dependencies |
| 11.arm64 | 12751 | 2021-03-04 16:55:23 | 0:32:50 | 3380 | build successful |
| 11 | 10604 | 2020-12-29 15:23:43 | 1:01:41 | 1387 | failed install-port |
| 10.6.x86_64 | 42659 | 2020-12-25 22:56:12 | 1:06:43 | 13372 | failed install-port |
| 10.6 | 22579 | 2020-12-25 22:38:30 | 1:14:28 | 13365 | failed install-port |
| 10.15 | 46276 | 2020-12-25 22:17:06 | 1:01:28 | 12156 | failed install-port |
| 11.arm64 | 6193 | 2020-12-25 22:09:26 | 0:00:02 | 1449 | failed install-dependencies |
| 10.6 | 8406 | 2020-01-24 6:48:26 | 1:14:39 | 3675 | failed install-port |
| 10.6.x86_64 | 16412 | 2020-01-24 1:12:31 | 1:11:24 | 3660 | failed install-port |
| 10.15 | 21932 | 2020-01-23 0:08:32 | 1:02:14 | 2469 | failed install-port |
| 10.6.x86_64 | 16320 | 2020-01-22 23:32:03 | 0:07:20 | 3647 | failed install-port |
| 10.6 | 8330 | 2020-01-22 22:39:52 | 0:09:13 | 3661 | failed install-port |
| 10.15 | 18025 | 2019-12-31 0:38:30 | 1:01:41 | 1816 | failed install-port |