everparse (devel/everparse) Updated: 2 years, 5 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
582 build(s) found
Page 6 of 6 | Showing build(s) 501 to 582
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 114474 | 2020-02-17 23:44:49 | 0:12:54 | 30908 | build successful |
| 10.6.x86_64 | 20056 | 2020-02-17 23:14:30 | 0:01:35 | 4351 | failed install-dependencies |
| 10.15 | 24483 | 2020-02-17 23:13:31 | 0:57:02 | 3140 | build successful |
| 10.10 | 110482 | 2020-02-17 23:11:04 | 0:46:13 | 31974 | build successful |
| 10.11 | 108453 | 2020-02-13 9:26:24 | 0:12:04 | 31756 | build successful |
| 10.15 | 24093 | 2020-02-13 8:49:12 | 0:12:04 | 2988 | build successful |
| 10.13 | 78436 | 2020-02-12 20:55:14 | 0:13:58 | 22716 | build successful |
| 10.14 | 53518 | 2020-02-12 17:35:10 | 0:12:16 | 13443 | build successful |
| 10.12 | 114049 | 2020-02-11 18:41:40 | 0:11:44 | 30756 | build successful |
| 10.8 | 15898 | 2020-02-11 17:41:23 | 0:58:25 | 4171 | build successful |
| 10.10 | 110066 | 2020-02-11 17:29:36 | 0:13:39 | 31822 | build successful |
| 10.9 | 112730 | 2020-02-11 17:29:03 | 0:25:53 | 31765 | build successful |
| 10.7 | 17826 | 2020-02-11 17:04:16 | 0:24:53 | 4176 | build successful |
| 10.6 | 9851 | 2020-02-11 16:57:30 | 0:02:15 | 4196 | failed install-dependencies |
| 10.6.x86_64 | 19627 | 2020-02-11 16:36:22 | 0:02:03 | 4199 | failed install-dependencies |
| 10.6.x86_64 | 17696 | 2020-01-31 6:29:00 | 0:01:16 | 3905 | failed install-dependencies |
| 10.11 | 107585 | 2020-01-31 5:50:09 | 0:12:47 | 31482 | build successful |
| 10.15 | 22915 | 2020-01-31 5:45:07 | 0:12:55 | 2712 | build successful |
| 10.13 | 77404 | 2020-01-31 5:32:45 | 0:16:23 | 22441 | build successful |
| 10.14 | 52416 | 2020-01-31 5:31:11 | 0:13:02 | 13168 | build successful |
| 10.7 | 16253 | 2020-01-31 5:28:22 | 0:24:38 | 3884 | build successful |
| 10.8 | 14717 | 2020-01-31 5:20:10 | 0:39:19 | 3880 | build successful |
| 10.12 | 112694 | 2020-01-31 5:13:44 | 0:13:03 | 30463 | build successful |
| 10.10 | 109130 | 2020-01-31 5:03:10 | 0:15:00 | 31530 | build successful |
| 10.9 | 111753 | 2020-01-31 4:59:05 | 0:16:31 | 31474 | build successful |
| 10.6 | 9035 | 2020-01-31 4:37:54 | 0:01:48 | 3904 | failed install-dependencies |
| 10.6 | 8425 | 2020-01-24 10:08:32 | 0:02:18 | 3681 | failed install-dependencies |
| 10.8 | 13766 | 2020-01-24 6:33:43 | 0:48:20 | 3653 | build successful |
| 10.6.x86_64 | 16445 | 2020-01-24 5:08:43 | 0:01:50 | 3666 | failed install-dependencies |
| 10.11 | 106741 | 2020-01-24 0:58:49 | 0:15:58 | 31260 | build successful |
| 10.15 | 21997 | 2020-01-23 21:48:41 | 0:16:24 | 2487 | build successful |
| 10.13 | 76565 | 2020-01-23 21:45:56 | 0:15:50 | 22217 | build successful |
| 10.9 | 110882 | 2020-01-23 21:43:52 | 0:16:38 | 31251 | build successful |
| 10.14 | 51528 | 2020-01-23 21:43:12 | 0:15:28 | 12942 | build successful |
| 10.10 | 108275 | 2020-01-23 21:41:01 | 0:18:15 | 31308 | build successful |
| 10.12 | 111845 | 2020-01-23 21:39:20 | 0:16:13 | 30240 | build successful |
| 10.7 | 15243 | 2020-01-23 21:35:43 | 0:45:09 | 3657 | build successful |
| 10.14 | 51314 | 2020-01-21 22:23:22 | 0:11:56 | 12885 | build successful |
| 10.11 | 106545 | 2020-01-21 19:53:23 | 0:18:32 | 31205 | build successful |
| 10.15 | 21794 | 2020-01-21 19:52:09 | 0:13:38 | 2431 | build successful |
| 10.8 | 13515 | 2020-01-21 19:51:58 | 0:42:07 | 3598 | build successful |
| 10.13 | 76372 | 2020-01-21 19:48:03 | 0:16:19 | 22162 | build successful |
| 10.10 | 108073 | 2020-01-21 19:45:59 | 0:18:56 | 31253 | build successful |
| 10.6.x86_64 | 16149 | 2020-01-21 19:45:10 | 0:02:04 | 3610 | failed install-dependencies |
| 10.12 | 111650 | 2020-01-21 19:45:06 | 0:16:18 | 30185 | build successful |
| 10.7 | 14985 | 2020-01-21 19:42:16 | 0:35:41 | 3602 | build successful |
| 10.9 | 110677 | 2020-01-21 19:40:49 | 0:12:52 | 31196 | build successful |
| 10.6 | 8240 | 2020-01-21 19:36:44 | 0:02:06 | 3625 | failed install-dependencies |
| 10.6 | 7422 | 2020-01-14 20:45:58 | 0:01:43 | 3436 | failed install-dependencies |
| 10.6 | 7412 | 2020-01-14 20:10:40 | 0:01:44 | 3434 | failed install-dependencies |
| 10.6.x86_64 | 15002 | 2020-01-14 11:22:03 | 0:02:32 | 3419 | failed install-dependencies |
| 10.6.x86_64 | 14990 | 2020-01-14 10:28:15 | 0:02:37 | 3417 | failed install-dependencies |
| 10.15 | 20852 | 2020-01-14 6:12:18 | 0:18:27 | 2245 | build successful |
| 10.11 | 105873 | 2020-01-14 6:08:01 | 0:20:42 | 31022 | build successful |
| 10.13 | 75693 | 2020-01-14 6:06:55 | 0:18:54 | 21979 | build successful |
| 10.14 | 50479 | 2020-01-14 6:03:56 | 0:15:22 | 12699 | build successful |
| 10.10 | 107395 | 2020-01-14 6:02:19 | 0:16:19 | 31070 | build successful |
| 10.12 | 110970 | 2020-01-14 6:01:35 | 0:14:58 | 30004 | build successful |
| 10.9 | 109979 | 2020-01-14 5:58:39 | 0:13:34 | 31012 | build successful |
| 10.7 | 14073 | 2020-01-14 5:48:27 | 0:31:09 | 3416 | build successful |
| 10.8 | 12647 | 2020-01-14 5:16:42 | 1:21:57 | 3413 | build successful |
| 10.15 | 10222 | 2019-12-06 16:10:40 | 0:15:00 | 1091 | build successful |
| 10.14 | 47514 | 2019-12-01 6:26:45 | 0:13:59 | 11602 | build successful |
| 10.13 | 72837 | 2019-12-01 6:26:34 | 0:17:27 | 20882 | build successful |
| 10.11 | 103088 | 2019-12-01 6:26:23 | 0:19:58 | 29923 | build successful |
| 10.12 | 107999 | 2019-12-01 6:26:14 | 0:16:28 | 28906 | build successful |
| 10.7 | 10828 | 2019-12-01 6:26:03 | 0:25:52 | 2311 | build successful |
| 10.10 | 104430 | 2019-12-01 6:25:53 | 0:18:42 | 29972 | build successful |
| 10.6.x86_64 | 11654 | 2019-12-01 6:25:42 | 0:01:28 | 2315 | failed install-dependencies |
| 10.9 | 107144 | 2019-12-01 6:25:32 | 0:13:37 | 29915 | build successful |
| 10.6 | 5313 | 2019-12-01 6:25:22 | 0:01:53 | 2315 | failed install-dependencies |
| 10.8 | 9651 | 2019-12-01 6:25:10 | 0:29:00 | 2309 | build successful |
| 10.6 | 5256 | 2019-11-30 5:23:02 | 0:01:46 | 2294 | failed install-dependencies |
| 10.6.x86_64 | 11579 | 2019-11-30 4:23:44 | 0:01:25 | 2294 | failed install-dependencies |
| 10.13 | 72773 | 2019-11-30 2:18:38 | 0:18:29 | 20861 | build successful |
| 10.14 | 47450 | 2019-11-30 2:17:57 | 0:15:16 | 11581 | build successful |
| 10.11 | 103024 | 2019-11-30 2:15:03 | 0:20:26 | 29902 | build successful |
| 10.12 | 107935 | 2019-11-30 2:03:45 | 0:14:38 | 28885 | build successful |
| 10.8 | 9584 | 2019-11-30 2:03:00 | 0:31:08 | 2288 | build successful |
| 10.7 | 10757 | 2019-11-30 1:39:59 | 0:24:54 | 2290 | build successful |
| 10.10 | 104364 | 2019-11-30 1:33:29 | 0:18:31 | 29950 | build successful |
| 10.9 | 107079 | 2019-11-30 1:32:02 | 0:14:32 | 29894 | build successful |