spot (science/spot) Updated: 1 week ago Add to my watchlist
Spot is an object-oriented model checking library written in C++.Version: 2.14.5 License: GPL-3
GitHub
266 build(s) found
Page 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 12.arm64 | 93142 | 2023-05-05 0:54:13 | 0:08:56 | 20902 | build successful |
| 12 | 68085 | 2023-05-05 0:45:13 | 0:20:28 | 20904 | build successful |
| 10.15 | 140340 | 2023-05-04 23:33:35 | 0:22:00 | 42196 | build successful |
| 10.6.x86_64 | 153142 | 2023-05-04 22:06:46 | 0:28:57 | 44125 | build successful |
| 10.11 | 221162 | 2023-05-04 21:59:43 | 0:01:47 | 71564 | failed install-port |
| 10.9 | 230447 | 2023-05-04 20:16:14 | 0:18:00 | 71138 | failed install-port |
| 11 | 113173 | 2023-05-04 20:16:02 | 0:23:34 | 32112 | build successful |
| 10.12 | 229797 | 2023-05-04 20:15:50 | 0:03:54 | 70363 | failed install-port |
| 13 | 31642 | 2023-05-04 20:15:38 | 0:15:12 | 6654 | build successful |
| 13.arm64 | 20749 | 2023-05-04 20:15:23 | 0:07:27 | 6494 | build successful |
| 13.arm64 | 5634 | 2023-03-03 13:29:02 | 0:07:03 | 3279 | build successful |
| 10.11 | 211917 | 2023-02-20 19:56:53 | 0:03:07 | 68755 | failed install-port |
| 10.12 | 219713 | 2023-02-20 19:56:38 | 0:04:38 | 67556 | failed install-port |
| 10.13 | 181583 | 2023-02-20 19:56:28 | 0:05:04 | 59634 | failed install-port |
| 10.10 | 214900 | 2023-02-20 19:56:18 | 0:02:06 | 68636 | failed install-port |
| 13 | 11593 | 2023-01-08 16:35:39 | 0:12:48 | 1679 | build successful |
| 10.11 | 206781 | 2023-01-08 13:58:57 | 0:02:32 | 66928 | failed install-port |
| 10.10 | 209278 | 2023-01-08 13:57:43 | 0:02:01 | 66808 | failed install-port |
| 10.12 | 214016 | 2023-01-08 13:57:32 | 0:04:16 | 65727 | failed install-port |
| 10.13 | 176549 | 2023-01-08 13:57:11 | 0:05:23 | 57806 | failed install-port |
| 10.13 | 153024 | 2022-06-04 16:41:18 | 0:06:44 | 49991 | failed install-port |
| 10.10 | 185528 | 2022-06-04 16:33:33 | 0:02:37 | 58986 | failed install-port |
| 10.11 | 184454 | 2022-06-04 16:31:56 | 0:03:10 | 59101 | failed install-port |
| 10.12 | 188909 | 2022-06-04 16:05:14 | 0:03:36 | 57905 | failed install-port |
| 10.13 | 141779 | 2022-02-11 3:57:40 | 0:08:37 | 46213 | failed install-port |
| 10.8 | 80038 | 2022-02-10 23:49:18 | 0:44:59 | 25678 | build successful |
| 10.14 | 118271 | 2022-02-10 23:26:30 | 0:28:15 | 36982 | build successful |
| 10.7 | 88681 | 2022-02-10 23:14:50 | 0:40:48 | 27624 | build successful |
| 10.10 | 174195 | 2022-02-10 22:05:37 | 0:02:31 | 55209 | failed install-port |
| 12 | 21237 | 2022-02-10 14:43:03 | 0:40:56 | 4645 | build successful |
| 10.15 | 90803 | 2022-02-10 12:17:16 | 0:21:46 | 25983 | build successful |
| 10.11 | 172913 | 2022-02-10 11:11:22 | 0:02:57 | 55319 | failed install-port |
| 10.9 | 178968 | 2022-02-10 10:54:57 | 0:29:38 | 54898 | build successful |
| 10.12 | 177559 | 2022-02-10 2:27:22 | 0:03:50 | 54129 | failed install-port |
| 11 | 63813 | 2022-02-10 1:48:03 | 0:27:02 | 15861 | build successful |
| 12.arm64 | 42330 | 2022-02-10 0:41:10 | 0:07:06 | 4628 | build successful |
| 10.6 | 58516 | 2022-02-09 21:43:50 | 0:55:35 | 27805 | build successful |
| 10.6.x86_64 | 92617 | 2022-02-09 19:22:29 | 0:59:01 | 27766 | build successful |
| 11.arm64 | 46485 | 2022-02-09 16:22:28 | 0:07:39 | 15802 | build successful |
| 10.11 | 171359 | 2022-01-24 15:38:51 | 0:02:58 | 54719 | failed install-port |
| 10.13 | 140224 | 2022-01-24 15:25:21 | 0:05:12 | 45614 | failed install-port |
| 10.12 | 176003 | 2022-01-24 14:58:56 | 0:03:17 | 53530 | failed install-port |
| 10.10 | 172630 | 2022-01-24 14:57:52 | 0:02:04 | 54609 | failed install-port |
| 12 | 5908 | 2021-12-07 1:58:06 | 0:26:47 | 1388 | build successful |
| 12.arm64 | 29623 | 2021-11-26 5:22:17 | 0:07:53 | 1603 | build successful |
| 10.8 | 68677 | 2021-11-25 19:56:32 | 0:32:20 | 22476 | build successful |
| 10.7 | 76503 | 2021-11-25 19:00:17 | 0:40:15 | 24618 | build successful |
| 10.6.x86_64 | 81071 | 2021-11-25 18:52:15 | 0:35:41 | 24586 | build successful |
| 10.11 | 162014 | 2021-11-25 18:45:20 | 0:04:28 | 52145 | failed install-port |
| 10.9 | 168043 | 2021-11-25 18:38:42 | 0:36:03 | 51894 | build successful |
| 10.15 | 79458 | 2021-11-25 18:34:31 | 0:26:58 | 22786 | build successful |
| 11 | 54319 | 2021-11-25 18:34:23 | 0:25:18 | 12602 | build successful |
| 10.10 | 163358 | 2021-11-25 18:34:14 | 0:03:26 | 52209 | failed install-port |
| 10.14 | 107521 | 2021-11-25 18:13:18 | 0:23:56 | 33795 | build successful |
| 10.13 | 131141 | 2021-11-25 18:02:21 | 0:09:47 | 43085 | failed install-port |
| 11.arm64 | 35489 | 2021-11-25 17:34:13 | 0:08:37 | 12784 | build successful |
| 10.12 | 166751 | 2021-11-25 17:22:45 | 0:04:32 | 51131 | failed install-port |
| 10.6 | 45721 | 2021-11-25 16:20:10 | 0:42:12 | 24613 | build successful |
| 10.11 | 162001 | 2021-11-25 12:20:13 | 0:04:11 | 52139 | build successful |
| 10.8 | 68664 | 2021-11-25 12:19:52 | 0:06:22 | 22470 | build successful |
| 10.14 | 107508 | 2021-11-25 12:19:38 | 0:05:00 | 33789 | build successful |
| 10.12 | 166738 | 2021-11-25 12:19:19 | 0:03:40 | 51125 | build successful |
| 10.7 | 76487 | 2021-11-25 12:19:07 | 0:05:55 | 24612 | build successful |
| 10.10 | 163345 | 2021-11-25 12:18:59 | 0:03:54 | 52203 | build successful |
| 10.9 | 168030 | 2021-11-25 12:18:52 | 0:05:09 | 51888 | build successful |
| 10.13 | 131128 | 2021-11-25 12:18:44 | 0:04:33 | 43079 | build successful |
| 10.15 | 79445 | 2021-11-25 12:18:36 | 0:04:56 | 22780 | build successful |
| 11 | 54304 | 2021-11-25 12:15:43 | 0:04:55 | 12596 | build successful |
| 12.arm64 | 28773 | 2021-11-25 12:06:56 | 0:06:52 | 1591 | build successful |
| 10.6 | 34575 | 2021-06-20 19:20:57 | 0:48:41 | 19283 | build successful |
| 10.6.x86_64 | 60973 | 2021-06-20 15:55:40 | 0:30:42 | 19254 | build successful |
| 10.15 | 61223 | 2021-06-17 7:20:40 | 0:20:17 | 17372 | build successful |
| 10.14 | 89854 | 2021-06-17 6:30:25 | 0:16:03 | 28377 | build successful |
| 10.11 | 144837 | 2021-06-17 3:26:11 | 0:15:27 | 46724 | build successful |
| 11 | 34591 | 2021-06-17 2:14:37 | 0:23:22 | 7179 | build successful |
| 10.13 | 114211 | 2021-06-16 23:48:18 | 0:14:07 | 37669 | build successful |
| 10.12 | 149748 | 2021-06-16 22:56:56 | 0:14:36 | 45716 | build successful |
| 10.10 | 146243 | 2021-06-16 22:36:17 | 0:12:00 | 46791 | build successful |
| 10.6 | 34128 | 2021-06-16 21:36:32 | 0:00:51 | 19180 | failed install-dependencies |
| 10.9 | 150338 | 2021-06-16 19:47:24 | 0:30:46 | 46471 | build successful |
| 10.6.x86_64 | 60177 | 2021-06-16 18:06:45 | 0:00:45 | 19150 | failed install-dependencies |
| 10.7 | 56600 | 2021-06-16 17:51:49 | 0:25:08 | 19190 | build successful |
| 10.8 | 50074 | 2021-06-16 17:13:00 | 0:30:56 | 17052 | build successful |
| 11.arm64 | 23508 | 2021-06-16 13:51:51 | 0:09:40 | 7355 | build successful |
| 10.6 | 33674 | 2021-06-13 14:08:29 | 0:39:39 | 19060 | build successful |
| 10.6.x86_64 | 59707 | 2021-06-13 14:08:23 | 0:33:12 | 19027 | build successful |
| 11.arm64 | 22923 | 2021-06-13 14:08:13 | 0:07:34 | 7232 | build successful |
| 10.15 | 51246 | 2021-03-18 22:14:02 | 0:17:31 | 13410 | build successful |
| 10.9 | 138481 | 2021-02-14 14:43:57 | 0:25:09 | 42273 | build successful |
| 10.6.x86_64 | 47837 | 2021-02-12 23:58:54 | 0:00:32 | 14737 | failed install-dependencies |
| 11 | 19613 | 2021-02-05 8:37:22 | 0:24:49 | 2706 | build successful |
| 10.7 | 43569 | 2021-02-05 5:37:48 | 0:29:37 | 14714 | build successful |
| 10.14 | 78687 | 2021-02-05 5:36:38 | 0:25:30 | 23916 | build successful |
| 10.11 | 133091 | 2021-02-05 5:35:54 | 0:20:12 | 42263 | build successful |
| 10.13 | 102892 | 2021-02-05 5:33:25 | 0:19:04 | 33223 | build successful |
| 10.8 | 37704 | 2021-02-05 5:33:25 | 0:34:04 | 12572 | build successful |
| 10.12 | 138127 | 2021-02-05 5:33:02 | 0:18:19 | 41256 | build successful |
| 10.10 | 134647 | 2021-02-05 5:32:37 | 0:17:08 | 42321 | build successful |
| 10.6 | 25929 | 2021-02-05 5:31:36 | 0:00:46 | 14723 | failed install-dependencies |
| 11 | 5981 | 2020-12-08 12:32:35 | 0:24:27 | 358 | build successful |