nusmv (devel/nusmv) Add to my watchlist
The NuSMV model checkerVersion: 2.6.0 License: LGPL-2.1
GitHub
29 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |