twelf (lang/twelf) Updated: 1 year, 4 months ago Add to my watchlist
Meta-logical framework for deductive systemsVersion: 1.7.1 License: BSD
GitHub
29 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 17871 | 2024-10-20 19:57:28 | 0:00:54 | 2408 | build successful |
| 12.arm64 | 133768 | 2024-07-31 0:30:58 | 0:00:00 | 38191 | failed install-dependencies |
| 13.arm64 | 67541 | 2024-07-30 18:37:52 | 0:00:00 | 23804 | failed install-dependencies |
| 14 | 44867 | 2024-07-30 6:41:59 | 0:00:42 | 12260 | build successful |
| 14.arm64 | 38089 | 2024-07-30 5:42:35 | 0:00:00 | 11894 | failed install-dependencies |
| 12.arm64 | 125773 | 2024-05-02 13:51:40 | 0:00:00 | 34855 | failed install-dependencies |
| 13.arm64 | 58447 | 2024-05-01 15:18:32 | 0:00:15 | 20484 | failed install-dependencies |
| 14 | 37003 | 2024-05-01 14:26:35 | 0:06:00 | 8896 | failed install-dependencies |
| 14.arm64 | 29098 | 2024-05-01 14:07:43 | 0:00:14 | 8666 | failed install-dependencies |
| 14 | 27726 | 2024-01-25 23:34:58 | 0:01:12 | 4916 | failed install-dependencies |
| 14.arm64 | 11727 | 2024-01-23 9:30:44 | 0:00:03 | 4488 | failed install-dependencies |
| 14 | 15580 | 2023-12-03 15:55:35 | 0:01:06 | 2466 | failed install-dependencies |
| 10.7 | 152534 | 2023-07-25 15:38:08 | 0:00:55 | 46941 | build successful |
| 10.6 | 127592 | 2023-07-25 12:01:41 | 0:01:22 | 47165 | build successful |
| 12.arm64 | 100874 | 2023-07-25 10:21:54 | 0:00:01 | 23987 | failed install-dependencies |
| 10.9 | 239369 | 2023-07-25 8:36:23 | 0:01:40 | 74214 | build successful |
| 11.arm64 | 98216 | 2023-07-25 8:36:13 | 0:00:01 | 35175 | failed install-dependencies |
| 10.6.x86_64 | 162910 | 2023-07-25 8:08:10 | 0:01:35 | 47202 | build successful |
| 10.8 | 141746 | 2023-07-25 7:51:40 | 0:01:28 | 45002 | build successful |
| 13 | 41608 | 2023-07-25 5:39:47 | 0:00:52 | 9730 | build successful |
| 10.13 | 199392 | 2023-07-25 4:22:14 | 0:02:14 | 65511 | build successful |
| 10.10 | 233119 | 2023-07-25 3:57:59 | 0:01:30 | 74518 | build successful |
| 13.arm64 | 29037 | 2023-07-25 3:52:58 | 0:00:02 | 9580 | failed install-dependencies |
| 10.14 | 174030 | 2023-07-25 3:45:59 | 0:01:47 | 56269 | build successful |
| 10.12 | 238630 | 2023-07-25 3:33:29 | 0:01:19 | 73433 | build successful |
| 10.11 | 229605 | 2023-07-25 3:33:09 | 0:01:48 | 74637 | build successful |
| 12 | 76889 | 2023-07-25 3:29:31 | 0:01:55 | 23976 | build successful |
| 10.15 | 149308 | 2023-07-25 3:22:07 | 0:01:45 | 45260 | build successful |
| 11 | 121664 | 2023-07-25 3:21:50 | 0:01:24 | 35177 | build successful |