spin (devel/spin) Updated: 2 years, 9 months ago Add to my watchlist
The Spin model checkerSPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Version: 6.5.2 License: SPIN
GitHub
23 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 14731 | 2024-10-16 17:52:42 | 0:00:22 | 1844 | failed install-port |
| 14.arm64 | 10074 | 2024-01-21 20:50:35 | 0:00:16 | 4351 | build successful |
| 13.arm64 | 10651 | 2023-03-08 2:40:59 | 0:00:32 | 4123 | build successful |
| 13 | 19093 | 2023-01-22 3:44:15 | 0:01:26 | 2783 | build successful |
| 11.arm64 | 47264 | 2022-02-20 8:20:14 | 0:00:32 | 16156 | build successful |
| 10.7 | 89723 | 2022-02-20 7:10:32 | 0:01:03 | 27976 | build successful |
| 10.6.x86_64 | 93614 | 2022-02-20 6:48:35 | 0:03:11 | 28118 | failed install-port |
| 10.6 | 59458 | 2022-02-20 6:30:10 | 0:03:30 | 28157 | failed install-port |
| 10.8 | 81060 | 2022-02-20 6:03:07 | 0:02:28 | 26030 | build successful |
| 10.10 | 175211 | 2022-02-20 6:01:21 | 0:01:31 | 55561 | build successful |
| 10.13 | 142848 | 2022-02-20 6:01:01 | 0:01:40 | 46565 | build successful |
| 10.14 | 119367 | 2022-02-20 5:26:55 | 0:06:21 | 37336 | build successful |
| 12 | 22129 | 2022-02-20 5:19:25 | 0:01:46 | 4999 | build successful |
| 10.15 | 91951 | 2022-02-20 5:18:09 | 0:02:32 | 26337 | build successful |
| 10.9 | 180020 | 2022-02-20 5:08:46 | 0:01:36 | 55250 | build successful |
| 10.11 | 173995 | 2022-02-20 5:01:34 | 0:07:21 | 55671 | build successful |
| 11 | 64880 | 2022-02-20 3:57:48 | 0:02:03 | 16217 | build successful |
| 10.12 | 178663 | 2022-02-20 3:38:46 | 0:01:19 | 54481 | build successful |
| 12.arm64 | 43205 | 2022-02-20 2:29:41 | 0:00:30 | 4982 | build successful |
| 12 | 20012 | 2022-01-26 0:29:25 | 0:01:40 | 4105 | build successful |
| 12.arm64 | 16727 | 2021-11-15 23:20:08 | 0:00:51 | 1088 | build successful |
| 11.arm64 | 18658 | 2021-04-25 5:56:40 | 0:00:51 | 5251 | build successful |
| 10.15 | 16672 | 2019-12-25 23:26:44 | 0:03:21 | 1717 | build successful |