spot (science/spot) Updated: 1 week, 1 day 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 3 of 3 | Showing build(s) 201 to 266
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 39986 | 2020-12-01 1:33:21 | 0:00:33 | 12540 | failed install-dependencies |
| 10.6 | 20976 | 2020-12-01 1:33:02 | 0:00:42 | 12532 | failed install-dependencies |
| 11.arm64 | 3946 | 2020-12-01 1:32:46 | 0:00:08 | 609 | failed install-dependencies |
| 10.15 | 43209 | 2020-11-25 2:13:52 | 0:19:18 | 11118 | build successful |
| 10.12 | 131353 | 2020-11-25 1:16:04 | 0:20:31 | 38880 | build successful |
| 10.6.x86_64 | 39321 | 2020-11-24 23:56:13 | 0:00:33 | 12333 | failed install-dependencies |
| 10.14 | 71931 | 2020-11-24 23:01:48 | 0:22:18 | 21566 | build successful |
| 10.13 | 95987 | 2020-11-24 22:38:55 | 0:17:15 | 30839 | build successful |
| 10.11 | 126122 | 2020-11-24 21:16:45 | 0:25:16 | 39882 | build successful |
| 10.8 | 30311 | 2020-11-24 21:16:36 | 0:47:09 | 10186 | build successful |
| 10.9 | 131418 | 2020-11-24 21:16:25 | 0:33:59 | 39889 | build successful |
| 10.10 | 127768 | 2020-11-24 21:16:10 | 0:23:29 | 39938 | build successful |
| 10.6 | 20541 | 2020-11-24 21:16:01 | 0:00:44 | 12325 | failed install-dependencies |
| 10.7 | 35490 | 2020-11-24 21:15:49 | 0:38:16 | 12322 | build successful |
| 11.arm64 | 2929 | 2020-11-24 21:15:40 | 0:00:08 | 400 | failed install-dependencies |
| 10.12 | 121081 | 2020-07-07 7:21:02 | 0:15:33 | 33590 | build successful |
| 10.7 | 24360 | 2020-06-26 16:29:38 | 0:27:23 | 7027 | build successful |
| 10.8 | 17051 | 2020-06-18 20:55:13 | 0:28:42 | 4893 | build successful |
| 10.10 | 117024 | 2020-06-18 7:38:35 | 0:13:22 | 34651 | build successful |
| 10.6 | 13396 | 2020-05-28 6:49:28 | 0:00:39 | 7026 | failed install-dependencies |
| 10.15 | 31496 | 2020-05-27 19:17:42 | 0:22:06 | 5824 | build successful |
| 10.14 | 60734 | 2020-05-27 19:10:21 | 0:20:38 | 16274 | build successful |
| 10.6.x86_64 | 27358 | 2020-05-27 19:04:19 | 0:00:49 | 7028 | failed install-dependencies |
| 10.9 | 119967 | 2020-05-27 18:58:37 | 0:11:18 | 34599 | failed install-port |
| 10.11 | 114914 | 2020-05-27 18:44:52 | 0:18:27 | 34588 | build successful |
| 10.13 | 84840 | 2020-05-27 18:44:15 | 0:20:22 | 25546 | build successful |
| 10.6 | 6635 | 2020-01-02 5:38:34 | 0:01:03 | 3054 | failed install-dependencies |
| 10.6.x86_64 | 13777 | 2020-01-02 4:46:28 | 0:00:40 | 3039 | failed install-dependencies |
| 10.9 | 109026 | 2020-01-02 3:11:19 | 0:11:35 | 30636 | failed install-port |
| 10.15 | 16676 | 2019-12-25 23:45:17 | 0:19:45 | 1717 | build successful |
| 10.6 | 3063 | 2019-11-13 1:14:59 | 0:00:41 | 1033 | failed install-dependencies |
| 10.8 | 6954 | 2019-11-12 5:07:05 | 0:29:57 | 1620 | build successful |
| 10.6.x86_64 | 6391 | 2019-11-09 4:01:33 | 0:00:37 | 1035 | failed install-dependencies |
| 10.7 | 6683 | 2019-11-07 0:14:56 | 0:33:22 | 1032 | build successful |
| 10.13 | 69071 | 2019-10-26 7:08:54 | 0:20:37 | 19611 | build successful |
| 10.11 | 99349 | 2019-10-25 1:27:12 | 0:18:48 | 28653 | build successful |
| 10.10 | 100420 | 2019-10-23 11:21:55 | 0:14:40 | 28694 | build successful |
| 10.14 | 43523 | 2019-10-22 22:51:42 | 0:18:39 | 10328 | build successful |
| 10.9 | 103162 | 2019-10-22 13:10:44 | 0:29:25 | 28639 | failed install-port |
| 10.12 | 103934 | 2019-10-22 12:50:14 | 0:20:11 | 27633 | build successful |
| 10.13 | 61564 | 2019-08-08 17:47:17 | 0:17:17 | 17482 | build successful |
| 10.12 | 96215 | 2019-08-08 15:55:59 | 0:27:22 | 25502 | build successful |
| 10.14 | 35783 | 2019-08-08 15:55:50 | 0:26:06 | 8197 | build successful |
| 10.11 | 91400 | 2019-08-08 15:55:41 | 0:16:20 | 26518 | build successful |
| 10.10 | 91913 | 2019-08-08 15:55:21 | 0:32:19 | 26562 | build successful |
| 10.9 | 94073 | 2019-08-08 15:54:59 | 0:28:46 | 26507 | build successful |
| 10.12 | 93126 | 2019-06-09 16:19:26 | 0:25:07 | 24186 | build successful |
| 10.10 | 88552 | 2019-06-09 16:03:34 | 0:31:06 | 25243 | build successful |
| 10.14 | 32626 | 2019-06-09 16:00:18 | 0:18:58 | 6876 | build successful |
| 10.13 | 58454 | 2019-06-09 15:59:51 | 0:18:30 | 16162 | build successful |
| 10.11 | 88038 | 2019-06-09 15:54:54 | 0:17:14 | 25196 | build successful |
| 10.9 | 90665 | 2019-06-09 15:40:37 | 0:23:05 | 25189 | build successful |
| 10.12 | 91439 | 2019-05-13 3:54:20 | 0:23:27 | 23448 | build successful |
| 10.10 | 86724 | 2019-05-13 3:16:38 | 0:29:32 | 24504 | build successful |
| 10.11 | 86230 | 2019-05-13 0:37:22 | 0:17:49 | 24456 | build successful |
| 10.13 | 56743 | 2019-05-12 23:17:38 | 0:21:42 | 15424 | build successful |
| 10.9 | 88728 | 2019-05-12 17:20:52 | 0:21:59 | 24449 | build successful |
| 10.14 | 30773 | 2019-05-12 14:26:42 | 0:18:20 | 6135 | build successful |
| 10.12 | 87848 | 2019-03-24 12:57:09 | 0:21:55 | 22109 | build successful |
| 10.13 | 53108 | 2019-03-24 8:55:11 | 0:19:35 | 14083 | build successful |
| 10.10 | 83078 | 2019-03-24 6:40:01 | 0:39:32 | 23160 | build successful |
| 10.14 | 27151 | 2019-03-24 5:02:27 | 0:30:08 | 4795 | build successful |
| 10.11 | 82593 | 2019-03-24 2:33:17 | 0:19:41 | 23114 | build successful |
| 10.9 | 85125 | 2019-03-24 0:18:07 | 0:25:09 | 23109 | build successful |
| 10.5_ppc | 87130 | 2018-12-11 16:11:10 | 0:00:32 | 19884 | failed install-dependencies |
| 10.5_ppc | 86562 | 2018-12-05 21:29:57 | 0:00:33 | 19741 | failed install-dependencies |