nusmv (devel/nusmv) Add to my watchlist
The NuSMV model checkerVersion: 2.6.0 License: LGPL-2.1
GitHub
62 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.15 | 231563 | 2026-04-01 3:38:15 | 0:04:43 | 76656 | build successful |
| 10.14 | 254775 | 2026-03-31 16:58:06 | 0:05:36 | 87453 | build successful |
| 13.arm64 | 100786 | 2026-03-29 5:04:52 | 0:02:14 | 41183 | build successful |
| 15.arm64 | 40686 | 2026-03-28 5:21:46 | 0:00:56 | 16286 | failed install-port |
| 10.8 | 232477 | 2026-03-26 19:59:30 | 0:05:25 | 76490 | build successful |
| 10.7 | 247090 | 2026-03-24 18:09:33 | 0:04:14 | 78218 | build successful |
| 10.9 | 332867 | 2026-03-22 14:47:29 | 0:03:52 | 105578 | build successful |
| 10.6.x86_64 | 265021 | 2026-03-19 14:21:42 | 0:04:43 | 78698 | failed install-port |
| 10.6 | 227344 | 2026-03-18 18:34:23 | 0:05:11 | 78568 | failed install-port |
| 15 | 51731 | 2026-03-18 12:12:25 | 0:01:50 | 16646 | failed install-port |
| 10.11 | 315312 | 2026-03-18 2:04:21 | 0:03:53 | 105876 | build successful |
| 11 | 203898 | 2026-03-17 17:08:51 | 0:05:13 | 66269 | build successful |
| 14.arm64 | 73361 | 2026-03-17 15:06:41 | 0:02:10 | 28772 | build successful |
| 14 | 78225 | 2026-03-16 9:12:30 | 0:02:34 | 29077 | build successful |
| 26.arm64 | 30346 | 2026-03-16 8:35:11 | 0:00:48 | 5498 | failed install-port |
| 15.arm64 | 39488 | 2026-03-16 3:47:58 | 0:01:08 | 15760 | failed install-port |
| 10.13 | 280458 | 2026-03-12 17:16:09 | 0:04:41 | 96404 | build successful |
| 10.10 | 323824 | 2026-03-11 22:20:28 | 0:03:16 | 105586 | build successful |
| 10.12 | 324291 | 2026-03-11 11:27:59 | 0:06:39 | 104389 | build successful |
| 26.arm64 | 25683 | 2026-02-01 11:25:44 | 0:01:03 | 4211 | failed install-port |
| 10.6 | 221655 | 2026-02-01 10:24:00 | 0:04:33 | 77188 | failed install-port |
| 10.6 | 221655 | 2026-02-01 10:24:00 | 0:04:33 | 77188 | failed install-port |
| 10.6.x86_64 | 258720 | 2026-02-01 9:34:02 | 0:03:39 | 77255 | failed install-port |
| 10.6.x86_64 | 258720 | 2026-02-01 9:34:02 | 0:03:39 | 77255 | failed install-port |
| 26.arm64 | 17342 | 2025-10-05 3:41:30 | 0:00:59 | 857 | failed install-port |
| 10.6 | 206325 | 2025-08-17 0:33:26 | 0:03:57 | 72583 | failed install-port |
| 10.6.x86_64 | 242706 | 2025-08-15 7:32:16 | 0:03:13 | 72594 | failed install-port |
| 15.arm64 | 11151 | 2025-03-09 20:12:25 | 0:01:23 | 5489 | build successful |
| 15 | 12688 | 2024-10-13 14:15:08 | 0:02:49 | 1262 | build successful |
| 10.6 | 180987 | 2024-09-19 16:54:40 | 0:03:25 | 63133 | failed install-port |
| 10.6.x86_64 | 216893 | 2024-09-19 16:19:22 | 0:03:14 | 63177 | failed install-port |
| 10.6 | 174071 | 2024-07-18 11:55:07 | 0:02:30 | 61047 | failed install-port |
| 10.6.x86_64 | 209809 | 2024-07-18 8:44:42 | 0:02:00 | 61092 | failed install-port |
| 14.arm64 | 12751 | 2024-01-24 9:58:54 | 0:01:06 | 4561 | build successful |
| 14 | 18168 | 2023-12-13 11:16:29 | 0:03:16 | 2915 | build successful |
| 10.6 | 128946 | 2023-07-30 15:04:29 | 0:02:23 | 47383 | failed install-port |
| 10.6.x86_64 | 164244 | 2023-07-30 12:29:02 | 0:02:25 | 47421 | failed install-port |
| 13.arm64 | 5671 | 2023-03-03 13:57:46 | 0:01:04 | 3309 | build successful |
| 10.6 | 110260 | 2023-02-22 13:08:03 | 0:02:57 | 41329 | failed install-port |
| 10.6.x86_64 | 145123 | 2023-02-22 6:02:06 | 0:01:56 | 41361 | failed install-port |
| 13 | 22218 | 2023-02-21 20:30:03 | 0:03:27 | 3877 | build successful |
| 13 | 13709 | 2023-01-11 3:09:23 | 0:01:50 | 1871 | failed install-port |
| 10.6 | 103828 | 2023-01-11 1:41:53 | 0:02:24 | 39630 | failed install-port |
| 10.6.x86_64 | 138544 | 2023-01-11 1:40:46 | 0:02:19 | 39660 | failed install-port |
| 10.6 | 69851 | 2022-05-17 10:04:37 | 0:02:14 | 30910 | failed install-port |
| 10.6.x86_64 | 104120 | 2022-05-17 9:53:06 | 0:01:53 | 30877 | failed install-port |
| 10.6.x86_64 | 87326 | 2022-01-10 6:47:13 | 0:03:23 | 26541 | failed install-port |
| 10.6 | 52839 | 2022-01-10 6:44:00 | 0:03:43 | 26583 | failed install-port |
| 12 | 10051 | 2022-01-04 16:28:16 | 0:01:55 | 2986 | build successful |
| 12.arm64 | 22914 | 2021-11-21 8:26:39 | 0:01:16 | 1403 | build successful |
| 10.6 | 32522 | 2021-06-02 23:12:53 | 0:07:22 | 18584 | failed install-port |
| 10.6.x86_64 | 58250 | 2021-06-02 21:54:51 | 0:07:31 | 18553 | failed install-port |
| 11 | 8885 | 2020-12-21 17:37:00 | 0:13:59 | 1043 | build successful |
| 10.6 | 21013 | 2020-12-01 10:54:21 | 0:07:08 | 12543 | failed install-port |
| 10.6.x86_64 | 40041 | 2020-12-01 9:34:20 | 0:06:41 | 12551 | failed install-port |
| 11.arm64 | 4007 | 2020-12-01 8:55:25 | 0:01:47 | 620 | build successful |
| 10.6 | 7611 | 2020-01-16 4:37:41 | 0:08:02 | 3466 | failed install-port |
| 10.6.x86_64 | 15191 | 2020-01-16 4:34:01 | 0:07:40 | 3449 | failed install-port |
| 10.6 | 7218 | 2020-01-13 16:08:37 | 0:06:48 | 3387 | failed install-port |
| 10.6.x86_64 | 14755 | 2020-01-13 9:15:53 | 0:05:46 | 3371 | failed install-port |
| 10.15 | 18254 | 2019-12-31 15:52:22 | 0:03:59 | 1818 | build successful |
| 10.5_ppc | 91388 | 2019-01-24 12:20:54 | 0:07:40 | 20806 | failed install-port |