ocaml-hacl-star (ocaml/ocaml-hacl-star) Updated: 4 years, 2 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
230 build(s) found
Page 1 of 3 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.9 | 216076 | 2023-01-14 20:16:27 | 0:00:36 | 66883 | failed install-dependencies |
| 10.6 | 104965 | 2023-01-14 11:54:52 | 0:00:46 | 39853 | failed install-dependencies |
| 10.6.x86_64 | 139688 | 2023-01-14 11:53:23 | 0:00:43 | 39883 | failed install-dependencies |
| 12.arm64 | 82547 | 2023-01-14 11:44:57 | 0:00:03 | 16652 | failed install-dependencies |
| 12.arm64 | 81675 | 2023-01-10 19:03:48 | 0:00:03 | 16417 | failed install-dependencies |
| 13 | 12053 | 2023-01-09 6:44:06 | 0:00:13 | 1710 | failed install-dependencies |
| 10.10 | 186857 | 2022-06-16 7:58:20 | 0:00:25 | 59363 | failed install-dependencies |
| 10.9 | 191991 | 2022-06-15 11:41:27 | 0:00:31 | 59055 | failed install-dependencies |
| 10.15 | 103458 | 2022-06-15 10:03:20 | 0:00:35 | 30136 | failed install-dependencies |
| 11.arm64 | 57949 | 2022-06-11 20:52:38 | 0:00:08 | 19873 | failed install-dependencies |
| 10.6 | 77380 | 2022-06-11 18:59:58 | 0:00:38 | 31886 | failed install-dependencies |
| 10.6.x86_64 | 110891 | 2022-06-11 18:58:25 | 0:00:33 | 31861 | failed install-dependencies |
| 10.8 | 93491 | 2022-06-11 18:57:51 | 0:00:25 | 29736 | failed install-dependencies |
| 10.7 | 103490 | 2022-06-11 18:56:43 | 0:00:27 | 31684 | failed install-dependencies |
| 10.15 | 103255 | 2022-06-11 18:56:02 | 0:00:16 | 30033 | failed install-dependencies |
| 10.9 | 191780 | 2022-06-11 18:54:37 | 0:00:12 | 58953 | failed install-dependencies |
| 10.10 | 186646 | 2022-06-11 18:54:12 | 0:00:12 | 59261 | failed install-dependencies |
| 12.arm64 | 55293 | 2022-06-11 18:54:12 | 0:00:10 | 8699 | failed install-dependencies |
| 10.9 | 191688 | 2022-06-10 20:21:40 | 0:00:11 | 58921 | failed install-dependencies |
| 10.15 | 103178 | 2022-06-10 20:21:36 | 0:00:17 | 30002 | failed install-dependencies |
| 10.10 | 186553 | 2022-06-10 20:20:34 | 0:00:10 | 59229 | failed install-dependencies |