everparse (devel/everparse) Updated: 2 years, 7 months ago Add to my watchlist
A verified secure parser framework for F*.EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and QuackyDucky, an untrusted compiler for generating verified secure parsers from a message format specification.
Version: 20220602-e722715 License: Apache-2
GitHub
601 build(s) found
Page 1 of 7 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 13 | 85541 | 2025-01-14 6:30:13 | 0:00:10 | 29833 | failed install-dependencies |
| 13.arm64 | 78189 | 2025-01-14 5:29:25 | 0:00:17 | 29587 | failed install-dependencies |
| 14.arm64 | 50477 | 2025-01-13 22:34:13 | 0:00:46 | 17677 | failed install-dependencies |
| 15 | 25284 | 2025-01-13 21:16:34 | 0:00:29 | 5494 | failed install-dependencies |
| 11 | 175889 | 2025-01-13 6:31:17 | 0:00:43 | 55215 | failed install-dependencies |
| 10.11 | 285124 | 2025-01-13 5:17:57 | 0:00:28 | 94754 | failed install-dependencies |
| 10.8 | 199369 | 2025-01-13 5:17:41 | 0:00:37 | 65055 | failed install-dependencies |
| 10.9 | 299284 | 2025-01-13 5:12:19 | 0:00:30 | 94262 | failed install-dependencies |
| 10.10 | 291821 | 2025-01-13 5:08:52 | 0:00:27 | 94592 | failed install-dependencies |
| 10.14 | 227393 | 2025-01-13 5:04:56 | 0:00:35 | 76204 | failed install-dependencies |
| 10.12 | 295189 | 2025-01-13 5:00:53 | 0:00:39 | 93505 | failed install-dependencies |
| 10.6.x86_64 | 226934 | 2025-01-13 4:59:01 | 0:00:43 | 67357 | failed install-dependencies |
| 10.7 | 213628 | 2025-01-13 4:58:46 | 0:00:37 | 67016 | failed install-dependencies |
| 10.6 | 191280 | 2025-01-13 4:52:59 | 0:00:45 | 67306 | failed install-dependencies |
| 10.13 | 253446 | 2025-01-13 4:52:36 | 0:00:44 | 85567 | failed install-dependencies |
| 12 | 126865 | 2025-01-13 4:35:26 | 0:04:23 | 44099 | failed install-port |
| 10.15 | 204344 | 2025-01-13 4:24:49 | 0:00:51 | 65268 | failed install-dependencies |
| 14 | 55425 | 2025-01-13 4:18:53 | 0:00:09 | 18039 | failed install-dependencies |
| 12.arm64 | 144755 | 2025-01-13 4:13:55 | 0:00:19 | 43986 | failed install-dependencies |
| 15 | 14729 | 2024-10-16 17:51:35 | 0:00:28 | 1844 | failed install-dependencies |
| 12.arm64 | 132783 | 2024-07-18 6:36:23 | 0:00:39 | 37757 | failed install-dependencies |
| 14 | 43692 | 2024-07-18 5:27:14 | 0:00:41 | 11815 | failed install-dependencies |
| 13.arm64 | 66439 | 2024-07-18 2:11:52 | 0:00:38 | 23369 | failed install-dependencies |
| 13 | 74568 | 2024-07-17 10:59:39 | 0:00:21 | 23619 | failed install-dependencies |
| 10.8 | 184778 | 2024-07-17 7:40:23 | 0:00:45 | 58797 | failed install-dependencies |
| 10.7 | 198269 | 2024-07-17 7:37:40 | 0:00:39 | 60744 | failed install-dependencies |
| 10.9 | 284411 | 2024-07-17 7:37:30 | 0:00:31 | 88004 | failed install-dependencies |
| 10.10 | 277190 | 2024-07-17 7:35:46 | 0:00:57 | 88332 | failed install-dependencies |
| 10.6 | 173843 | 2024-07-17 7:29:41 | 0:00:50 | 60987 | failed install-dependencies |
| 10.11 | 271280 | 2024-07-17 7:25:54 | 0:00:39 | 88494 | failed install-dependencies |
| 10.15 | 191276 | 2024-07-17 7:21:11 | 0:01:44 | 59047 | failed install-dependencies |
| 10.12 | 280873 | 2024-07-17 7:20:54 | 0:00:35 | 87210 | failed install-dependencies |
| 10.14 | 214337 | 2024-07-17 7:20:32 | 0:01:40 | 69980 | failed install-dependencies |
| 12 | 113864 | 2024-07-17 7:20:27 | 0:05:32 | 37877 | failed install-port |
| 10.6.x86_64 | 209565 | 2024-07-17 7:19:52 | 0:00:44 | 61032 | failed install-dependencies |
| 14.arm64 | 36964 | 2024-07-17 7:14:16 | 0:00:36 | 11460 | failed install-dependencies |
| 11 | 162124 | 2024-07-17 7:14:08 | 0:00:42 | 48971 | failed install-dependencies |
| 10.13 | 240231 | 2024-07-17 7:13:41 | 0:01:20 | 79310 | failed install-dependencies |
| 14.arm64 | 16272 | 2024-01-30 14:54:57 | 0:00:35 | 4970 | failed install-dependencies |
| 14 | 22728 | 2023-12-31 8:49:21 | 0:00:28 | 3731 | failed install-dependencies |
| 10.15 | 149832 | 2023-07-29 21:57:29 | 0:02:03 | 45425 | failed install-dependencies |
| 11.arm64 | 98639 | 2023-07-29 21:38:20 | 0:00:54 | 35339 | failed install-dependencies |
| 12.arm64 | 101368 | 2023-07-29 20:46:26 | 0:00:31 | 24150 | failed install-dependencies |
| 10.7 | 153793 | 2023-07-29 18:22:39 | 0:01:59 | 47136 | failed install-dependencies |
| 10.8 | 142257 | 2023-07-29 15:21:26 | 0:02:46 | 45198 | failed install-dependencies |
| 10.9 | 239898 | 2023-07-29 14:43:45 | 0:01:09 | 74411 | failed install-dependencies |
| 10.10 | 233641 | 2023-07-29 14:32:47 | 0:01:23 | 74717 | failed install-dependencies |
| 13.arm64 | 29626 | 2023-07-29 14:27:30 | 0:00:27 | 9749 | failed install-dependencies |
| 10.11 | 230024 | 2023-07-29 13:57:13 | 0:01:50 | 74830 | failed install-dependencies |
| 10.12 | 239081 | 2023-07-29 13:56:58 | 0:00:54 | 73626 | failed install-dependencies |
| 11 | 122175 | 2023-07-29 13:56:42 | 0:01:54 | 35341 | failed install-dependencies |
| 12 | 77373 | 2023-07-29 13:56:27 | 0:05:00 | 24140 | failed install-port |
| 10.6.x86_64 | 164046 | 2023-07-29 13:56:18 | 0:00:40 | 47396 | failed install-dependencies |
| 13 | 42370 | 2023-07-29 13:56:16 | 0:01:38 | 9896 | failed install-dependencies |
| 10.14 | 174542 | 2023-07-29 13:56:03 | 0:01:30 | 56437 | failed install-dependencies |
| 10.6 | 128769 | 2023-07-29 13:55:50 | 0:00:46 | 47358 | failed install-dependencies |
| 10.13 | 199811 | 2023-07-29 13:55:39 | 0:01:06 | 65678 | failed install-dependencies |
| 13.arm64 | 10976 | 2023-03-08 18:09:53 | 0:00:09 | 4161 | failed install-dependencies |
| 10.8 | 118363 | 2023-01-11 21:37:10 | 0:00:41 | 37430 | failed install-dependencies |
| 10.9 | 215290 | 2023-01-11 15:59:09 | 0:00:35 | 66645 | failed install-dependencies |
| 10.7 | 129092 | 2023-01-11 7:21:00 | 0:00:48 | 39387 | failed install-dependencies |
| 11.arm64 | 80881 | 2023-01-11 4:08:54 | 0:00:15 | 27600 | failed install-dependencies |
| 12 | 55390 | 2023-01-11 2:52:30 | 0:29:52 | 16404 | failed install-port |
| 10.14 | 152381 | 2023-01-11 1:46:42 | 0:00:42 | 48718 | failed install-dependencies |
| 10.13 | 176899 | 2023-01-10 23:25:09 | 0:00:42 | 57950 | failed install-dependencies |
| 10.10 | 209625 | 2023-01-10 22:13:42 | 0:00:52 | 66952 | failed install-dependencies |
| 13 | 13550 | 2023-01-10 20:43:19 | 0:00:20 | 1854 | failed install-dependencies |
| 10.11 | 207106 | 2023-01-10 19:03:59 | 0:00:49 | 67072 | failed install-dependencies |
| 12.arm64 | 81676 | 2023-01-10 19:03:52 | 0:00:08 | 16417 | failed install-dependencies |
| 10.15 | 126397 | 2023-01-10 19:03:25 | 0:01:13 | 37710 | failed install-dependencies |
| 10.6.x86_64 | 138418 | 2023-01-10 19:03:12 | 0:00:47 | 39645 | failed install-dependencies |
| 11 | 98882 | 2023-01-10 19:03:09 | 0:00:47 | 27623 | failed install-dependencies |
| 10.6 | 103697 | 2023-01-10 19:02:49 | 0:00:52 | 39615 | failed install-dependencies |
| 10.12 | 214423 | 2023-01-10 19:02:34 | 0:00:24 | 65871 | failed install-dependencies |
| 10.13 | 154225 | 2022-06-16 19:14:58 | 0:00:27 | 50368 | failed install-dependencies |
| 10.10 | 186858 | 2022-06-16 7:58:45 | 0:00:28 | 59363 | failed install-dependencies |
| 10.11 | 185776 | 2022-06-15 19:08:46 | 0:00:36 | 59478 | failed install-dependencies |
| 10.14 | 130756 | 2022-06-15 12:54:28 | 0:00:33 | 41141 | failed install-dependencies |
| 10.9 | 191992 | 2022-06-15 11:41:59 | 0:00:26 | 59055 | failed install-dependencies |
| 10.15 | 103459 | 2022-06-15 10:04:03 | 0:00:35 | 30136 | failed install-dependencies |
| 11 | 75987 | 2022-06-14 17:17:03 | 0:00:21 | 20036 | failed install-dependencies |
| 11 | 75984 | 2022-06-14 17:07:45 | 0:00:19 | 20034 | failed install-dependencies |
| 11 | 75981 | 2022-06-14 16:57:47 | 0:00:33 | 20031 | failed install-dependencies |
| 10.12 | 190142 | 2022-06-14 16:42:59 | 0:00:17 | 58283 | failed install-dependencies |
| 11.arm64 | 58205 | 2022-06-14 16:40:13 | 0:00:08 | 19982 | failed install-dependencies |
| 11.arm64 | 58201 | 2022-06-14 16:36:25 | 0:00:08 | 19980 | failed install-dependencies |
| 11.arm64 | 58192 | 2022-06-14 16:24:49 | 0:00:13 | 19977 | failed install-dependencies |
| 11.arm64 | 57869 | 2022-06-11 4:53:44 | 0:00:13 | 19841 | failed install-dependencies |
| 10.11 | 185487 | 2022-06-11 1:42:57 | 0:00:19 | 59344 | failed install-dependencies |
| 12 | 33039 | 2022-06-10 20:54:09 | 0:10:21 | 8674 | failed install-port |
| 12.arm64 | 55199 | 2022-06-10 20:36:07 | 0:00:08 | 8667 | failed install-dependencies |
| 10.14 | 130484 | 2022-06-10 20:27:48 | 0:00:18 | 41007 | failed install-dependencies |
| 11 | 75696 | 2022-06-10 20:22:04 | 0:00:24 | 19897 | failed install-dependencies |
| 10.15 | 103179 | 2022-06-10 20:21:54 | 0:00:20 | 30002 | failed install-dependencies |
| 10.9 | 191689 | 2022-06-10 20:21:52 | 0:00:14 | 58921 | failed install-dependencies |
| 10.10 | 186554 | 2022-06-10 20:20:45 | 0:00:12 | 59229 | failed install-dependencies |
| 10.12 | 189867 | 2022-06-10 20:19:05 | 0:00:18 | 58148 | failed install-dependencies |
| 10.13 | 153952 | 2022-06-10 20:18:51 | 0:00:17 | 50234 | failed install-dependencies |
| 10.6 | 77157 | 2022-06-10 20:17:13 | 0:00:36 | 31854 | failed install-dependencies |
| 10.6.x86_64 | 110702 | 2022-06-10 20:16:26 | 0:00:37 | 31829 | failed install-dependencies |