ocaml-hacl-star (ocaml/ocaml-hacl-star) Updated: 4 years, 5 months ago Add to my watchlist
High-assurance cryptographic library.Formally verified library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and HKDF. The code for all of these algorithms is formally verified using the F* verification framework for memory safety, functional correctness, and secret independence (resistance to some types of timing side-channels).
Version: 20210824-4b197eb License: Apache-2
GitHub
251 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11.arm64 | 131328 | 2026-02-08 18:30:45 | 0:00:02 | 50615 | failed install-dependencies |
| 10.8 | 227319 | 2026-02-07 16:05:42 | 0:00:09 | 75093 | failed install-dependencies |
| 10.8 | 227308 | 2026-02-07 16:03:26 | 0:00:08 | 75092 | failed install-dependencies |
| 10.10 | 319888 | 2026-02-07 11:56:30 | 0:00:11 | 104612 | failed install-dependencies |
| 10.7 | 242685 | 2026-02-07 10:51:18 | 0:00:09 | 77058 | failed install-dependencies |
| 15.arm64 | 36177 | 2026-02-07 10:31:31 | 0:00:02 | 14709 | failed install-dependencies |
| 15.arm64 | 36156 | 2026-02-07 10:21:06 | 0:00:01 | 14708 | failed install-dependencies |
| 15 | 48437 | 2026-02-07 3:36:05 | 0:00:03 | 15508 | failed install-dependencies |
| 10.9 | 327925 | 2026-02-06 12:39:21 | 0:00:10 | 104265 | failed install-dependencies |
| 13.arm64 | 97040 | 2026-02-05 6:02:34 | 0:00:03 | 39507 | failed install-dependencies |
| 13 | 102960 | 2026-02-04 22:22:48 | 0:00:03 | 39705 | failed install-dependencies |
| 14.arm64 | 70347 | 2026-02-04 17:08:04 | 0:00:02 | 27582 | failed install-dependencies |
| 10.6.x86_64 | 259656 | 2026-02-04 7:41:09 | 0:00:30 | 77376 | failed install-dependencies |
| 10.15 | 227418 | 2026-02-04 5:45:17 | 0:00:11 | 75121 | failed install-dependencies |
| 10.6 | 222584 | 2026-02-04 2:59:21 | 0:00:39 | 77305 | failed install-dependencies |
| 10.6 | 222572 | 2026-02-04 2:41:49 | 0:00:46 | 77302 | failed install-dependencies |
| 26.arm64 | 26961 | 2026-02-03 12:14:50 | 0:00:03 | 4306 | failed install-dependencies |
| 14 | 75097 | 2026-02-03 10:12:35 | 0:00:03 | 27905 | failed install-dependencies |
| 12.arm64 | 159410 | 2026-02-03 9:57:05 | 0:00:06 | 53666 | failed install-dependencies |
| 15 | 47227 | 2026-02-02 9:25:14 | 0:00:03 | 15299 | failed install-dependencies |
| 14 | 74264 | 2026-02-01 9:26:41 | 0:00:05 | 27822 | failed install-dependencies |
| 26.arm64 | 15654 | 2025-10-03 10:32:44 | 0:00:06 | 780 | failed install-dependencies |
| 11.arm64 | 120492 | 2025-09-10 22:40:51 | 0:00:08 | 46283 | failed install-dependencies |
| 12.arm64 | 150808 | 2025-08-25 12:12:30 | 0:00:07 | 49277 | failed install-dependencies |
| 13.arm64 | 88064 | 2025-08-25 0:39:30 | 0:00:05 | 35048 | failed install-dependencies |
| 14 | 66157 | 2025-08-22 23:20:28 | 0:00:07 | 23498 | failed install-dependencies |
| 14 | 66149 | 2025-08-22 23:11:40 | 0:00:07 | 23497 | failed install-dependencies |
| 15 | 37444 | 2025-08-20 0:25:40 | 0:00:07 | 10869 | failed install-dependencies |
| 13 | 94400 | 2025-08-19 17:27:57 | 0:00:09 | 35169 | failed install-dependencies |
| 15.arm64 | 25839 | 2025-08-19 14:38:02 | 0:00:04 | 10042 | failed install-dependencies |
| 14.arm64 | 61021 | 2025-08-19 5:36:10 | 0:00:04 | 23028 | failed install-dependencies |
| 10.8 | 213398 | 2025-08-18 22:15:46 | 0:00:53 | 70406 | failed install-dependencies |
| 10.8 | 213398 | 2025-08-18 22:15:46 | 0:00:53 | 70406 | failed install-dependencies |
| 10.8 | 213373 | 2025-08-18 21:52:09 | 0:01:01 | 70403 | failed install-dependencies |
| 10.8 | 213373 | 2025-08-18 21:52:09 | 0:01:01 | 70403 | failed install-dependencies |
| 10.6 | 207088 | 2025-08-18 4:02:28 | 0:00:52 | 72669 | failed install-dependencies |
| 10.6 | 207078 | 2025-08-18 3:52:43 | 0:00:48 | 72668 | failed install-dependencies |
| 10.6.x86_64 | 243814 | 2025-08-18 3:29:15 | 0:00:42 | 72732 | failed install-dependencies |
| 10.6.x86_64 | 243790 | 2025-08-18 3:18:30 | 0:00:42 | 72730 | failed install-dependencies |
| 10.15 | 215801 | 2025-08-18 1:27:38 | 0:00:13 | 70556 | failed install-dependencies |
| 10.9 | 313407 | 2025-08-17 23:54:15 | 0:00:35 | 99589 | failed install-dependencies |
| 10.9 | 313393 | 2025-08-17 23:47:30 | 0:00:33 | 99588 | failed install-dependencies |
| 10.10 | 305613 | 2025-08-17 23:27:22 | 0:00:38 | 99916 | failed install-dependencies |
| 10.7 | 228155 | 2025-08-17 23:26:34 | 0:00:44 | 72352 | failed install-dependencies |
| 10.7 | 228155 | 2025-08-17 23:26:34 | 0:00:44 | 72352 | failed install-dependencies |
| 10.10 | 305601 | 2025-08-17 23:18:58 | 0:00:35 | 99915 | failed install-dependencies |
| 10.7 | 228143 | 2025-08-17 23:17:17 | 0:00:41 | 72351 | failed install-dependencies |
| 10.7 | 228143 | 2025-08-17 23:17:17 | 0:00:41 | 72351 | failed install-dependencies |
| 14.arm64 | 60319 | 2025-08-17 17:37:16 | 0:00:04 | 22938 | failed install-dependencies |
| 15.arm64 | 24791 | 2025-08-17 0:24:29 | 0:00:04 | 9924 | failed install-dependencies |
| 13.arm64 | 87066 | 2025-08-15 3:59:15 | 0:00:03 | 34798 | failed install-dependencies |
| 15.arm64 | 8207 | 2025-03-06 15:39:05 | 0:00:17 | 4347 | failed install-dependencies |
| 13 | 86055 | 2025-01-28 20:33:47 | 0:00:10 | 30194 | failed install-dependencies |
| 12.arm64 | 145310 | 2025-01-28 17:09:07 | 0:00:03 | 44356 | failed install-dependencies |
| 14 | 56030 | 2025-01-27 17:09:42 | 0:00:10 | 18400 | failed install-dependencies |
| 13.arm64 | 78749 | 2025-01-27 13:45:48 | 0:00:04 | 29948 | failed install-dependencies |
| 10.8 | 200239 | 2025-01-26 18:22:55 | 0:00:31 | 65416 | failed install-dependencies |
| 15 | 25930 | 2025-01-26 18:21:45 | 0:00:11 | 5855 | failed install-dependencies |
| 10.10 | 292659 | 2025-01-26 17:56:27 | 0:00:23 | 94953 | failed install-dependencies |
| 10.9 | 300140 | 2025-01-26 17:24:42 | 0:00:25 | 94623 | failed install-dependencies |
| 10.15 | 205073 | 2025-01-26 16:26:37 | 0:00:24 | 65629 | failed install-dependencies |
| 10.6.x86_64 | 227977 | 2025-01-26 15:38:57 | 0:00:38 | 67718 | failed install-dependencies |
| 10.6 | 192310 | 2025-01-26 15:31:10 | 0:00:43 | 67667 | failed install-dependencies |
| 14.arm64 | 51141 | 2025-01-26 15:05:34 | 0:00:40 | 18041 | failed install-dependencies |
| 13 | 85540 | 2025-01-14 6:30:08 | 0:00:04 | 29833 | failed install-dependencies |
| 14 | 55424 | 2025-01-13 4:18:46 | 0:00:06 | 18039 | failed install-dependencies |
| 15 | 16591 | 2024-10-19 1:39:52 | 0:00:11 | 2179 | failed install-dependencies |
| 14 | 45202 | 2024-08-04 10:01:03 | 0:00:12 | 12408 | failed install-dependencies |
| 12.arm64 | 134104 | 2024-08-04 7:29:01 | 0:00:05 | 38339 | failed install-dependencies |
| 13.arm64 | 67892 | 2024-08-04 6:26:35 | 0:00:05 | 23952 | failed install-dependencies |
| 10.7 | 200113 | 2024-08-03 12:46:37 | 0:00:30 | 61328 | failed install-dependencies |
| 10.6.x86_64 | 211945 | 2024-08-03 12:46:37 | 0:00:39 | 61617 | failed install-dependencies |
| 10.9 | 286271 | 2024-08-03 12:45:43 | 0:00:24 | 88588 | failed install-dependencies |
| 10.6 | 176125 | 2024-08-03 12:45:00 | 0:00:46 | 61572 | failed install-dependencies |
| 10.8 | 186644 | 2024-08-03 12:43:04 | 0:00:34 | 59381 | failed install-dependencies |
| 13 | 75822 | 2024-08-03 12:42:39 | 0:00:12 | 24203 | failed install-dependencies |
| 14.arm64 | 38529 | 2024-08-03 12:41:25 | 0:00:12 | 12042 | failed install-dependencies |
| 10.10 | 278948 | 2024-08-03 12:40:56 | 0:00:22 | 88916 | failed install-dependencies |
| 10.15 | 192579 | 2024-08-03 12:40:47 | 0:00:29 | 59632 | failed install-dependencies |
| 14.arm64 | 9983 | 2024-01-21 19:35:04 | 0:00:07 | 4347 | failed install-dependencies |
| 14 | 16518 | 2023-12-07 12:38:22 | 0:00:11 | 2637 | failed install-dependencies |
| 10.7 | 157342 | 2023-08-27 21:31:19 | 0:00:31 | 48207 | failed install-dependencies |
| 11.arm64 | 100838 | 2023-08-26 5:17:05 | 0:00:27 | 36406 | failed install-dependencies |
| 13.arm64 | 32935 | 2023-08-26 3:34:59 | 0:00:04 | 10821 | failed install-dependencies |
| 10.15 | 152941 | 2023-08-25 22:26:40 | 0:00:29 | 46493 | failed install-dependencies |
| 13 | 45933 | 2023-08-25 21:25:21 | 0:00:11 | 10962 | failed install-dependencies |
| 12.arm64 | 104109 | 2023-08-25 20:00:26 | 0:00:03 | 25212 | failed install-dependencies |
| 10.6 | 132660 | 2023-08-25 19:36:31 | 0:00:39 | 48424 | failed install-dependencies |
| 10.6.x86_64 | 168206 | 2023-08-25 19:35:12 | 0:00:35 | 48464 | failed install-dependencies |
| 10.8 | 145729 | 2023-08-25 19:29:34 | 0:00:33 | 46266 | failed install-dependencies |
| 10.9 | 243362 | 2023-08-25 19:26:51 | 0:00:23 | 75478 | failed install-dependencies |
| 10.10 | 236874 | 2023-08-25 19:26:24 | 0:00:23 | 75788 | failed install-dependencies |
| 13.arm64 | 12391 | 2023-03-09 16:31:11 | 0:00:05 | 4287 | failed install-dependencies |
| 13.arm64 | 10975 | 2023-03-08 18:09:45 | 0:00:04 | 4161 | failed install-dependencies |
| 10.8 | 119293 | 2023-01-15 12:08:55 | 0:00:38 | 37668 | failed install-dependencies |
| 10.7 | 130068 | 2023-01-15 11:34:12 | 0:00:39 | 39625 | failed install-dependencies |
| 10.10 | 210410 | 2023-01-15 10:14:00 | 0:00:32 | 67187 | failed install-dependencies |
| 13 | 15150 | 2023-01-15 6:18:29 | 0:00:14 | 2119 | failed install-dependencies |
| 10.15 | 127106 | 2023-01-15 3:49:10 | 0:00:38 | 37945 | failed install-dependencies |
| 11.arm64 | 81767 | 2023-01-15 0:41:49 | 0:00:06 | 27835 | failed install-dependencies |