ocaml-hacl-star-raw (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
255 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 | 131327 | 2026-02-08 18:30:41 | 0:00:03 | 50615 | failed install-dependencies |
| 10.8 | 227318 | 2026-02-07 16:05:33 | 0:00:09 | 75093 | failed install-dependencies |
| 10.8 | 227307 | 2026-02-07 16:03:16 | 0:00:09 | 75092 | failed install-dependencies |
| 10.10 | 319887 | 2026-02-07 11:56:17 | 0:00:12 | 104612 | failed install-dependencies |
| 10.7 | 242684 | 2026-02-07 10:51:07 | 0:00:10 | 77058 | failed install-dependencies |
| 15.arm64 | 36176 | 2026-02-07 10:31:16 | 0:00:14 | 14709 | failed install-dependencies |
| 15.arm64 | 36155 | 2026-02-07 10:21:03 | 0:00:01 | 14708 | failed install-dependencies |
| 15 | 48436 | 2026-02-07 3:36:02 | 0:00:03 | 15508 | failed install-dependencies |
| 10.9 | 327924 | 2026-02-06 12:39:09 | 0:00:10 | 104265 | failed install-dependencies |
| 13.arm64 | 97039 | 2026-02-05 5:58:22 | 0:04:09 | 39507 | failed install-port |
| 13 | 102959 | 2026-02-04 22:22:42 | 0:00:04 | 39705 | failed install-dependencies |
| 14.arm64 | 70346 | 2026-02-04 17:07:58 | 0:00:03 | 27582 | failed install-dependencies |
| 10.6.x86_64 | 259655 | 2026-02-04 7:40:29 | 0:00:38 | 77376 | failed install-dependencies |
| 10.15 | 227417 | 2026-02-04 5:45:04 | 0:00:11 | 75121 | failed install-dependencies |
| 10.6 | 222583 | 2026-02-04 2:58:34 | 0:00:46 | 77305 | failed install-dependencies |
| 10.6 | 222571 | 2026-02-04 2:41:00 | 0:00:48 | 77302 | failed install-dependencies |
| 26.arm64 | 26960 | 2026-02-03 12:14:45 | 0:00:04 | 4306 | failed install-dependencies |
| 14 | 75096 | 2026-02-03 10:12:30 | 0:00:04 | 27905 | failed install-dependencies |
| 12.arm64 | 159409 | 2026-02-03 9:56:59 | 0:00:05 | 53666 | failed install-dependencies |
| 15 | 47226 | 2026-02-02 9:25:10 | 0:00:03 | 15299 | failed install-dependencies |
| 14 | 74263 | 2026-02-01 9:26:33 | 0:00:05 | 27822 | failed install-dependencies |
| 26.arm64 | 15653 | 2025-10-03 10:32:33 | 0:00:05 | 780 | failed install-dependencies |
| 26.arm64 | 11721 | 2025-09-28 22:35:54 | 0:00:06 | 612 | failed install-dependencies |
| 11.arm64 | 120491 | 2025-09-10 22:40:41 | 0:00:09 | 46283 | failed install-dependencies |
| 11.arm64 | 119148 | 2025-09-07 18:40:01 | 0:00:06 | 46128 | failed install-dependencies |
| 12.arm64 | 150807 | 2025-08-25 12:12:20 | 0:00:09 | 49277 | failed install-dependencies |
| 13.arm64 | 88063 | 2025-08-25 0:39:01 | 0:00:28 | 35048 | failed install-port |
| 14 | 66156 | 2025-08-22 23:19:56 | 0:00:31 | 23498 | failed install-dependencies |
| 14 | 66148 | 2025-08-22 23:11:32 | 0:00:07 | 23497 | failed install-dependencies |
| 15 | 37443 | 2025-08-20 0:25:27 | 0:00:10 | 10869 | failed install-dependencies |
| 13 | 94399 | 2025-08-19 17:27:49 | 0:00:07 | 35169 | failed install-dependencies |
| 15.arm64 | 25838 | 2025-08-19 14:37:56 | 0:00:04 | 10042 | failed install-dependencies |
| 14.arm64 | 61020 | 2025-08-19 5:36:00 | 0:00:06 | 23028 | failed install-dependencies |
| 10.8 | 213397 | 2025-08-18 22:14:45 | 0:00:50 | 70406 | failed install-dependencies |
| 10.8 | 213397 | 2025-08-18 22:14:45 | 0:00:50 | 70406 | failed install-dependencies |
| 10.8 | 213372 | 2025-08-18 21:51:18 | 0:00:46 | 70403 | failed install-dependencies |
| 10.8 | 213372 | 2025-08-18 21:51:18 | 0:00:46 | 70403 | failed install-dependencies |
| 10.6 | 207087 | 2025-08-18 4:01:35 | 0:00:50 | 72669 | failed install-dependencies |
| 10.6 | 207077 | 2025-08-18 3:51:43 | 0:00:50 | 72668 | failed install-dependencies |
| 10.6.x86_64 | 243813 | 2025-08-18 3:28:27 | 0:00:45 | 72732 | failed install-dependencies |
| 10.6.x86_64 | 243789 | 2025-08-18 3:17:31 | 0:00:43 | 72730 | failed install-dependencies |
| 10.15 | 215800 | 2025-08-18 1:27:23 | 0:00:13 | 70556 | failed install-dependencies |
| 10.9 | 313406 | 2025-08-17 23:53:40 | 0:00:32 | 99589 | failed install-dependencies |
| 10.9 | 313392 | 2025-08-17 23:46:49 | 0:00:40 | 99588 | failed install-dependencies |
| 10.10 | 305612 | 2025-08-17 23:26:39 | 0:00:38 | 99916 | failed install-dependencies |
| 10.7 | 228154 | 2025-08-17 23:25:48 | 0:00:42 | 72352 | failed install-dependencies |
| 10.7 | 228154 | 2025-08-17 23:25:48 | 0:00:42 | 72352 | failed install-dependencies |
| 10.10 | 305600 | 2025-08-17 23:18:15 | 0:00:41 | 99915 | failed install-dependencies |
| 10.7 | 228142 | 2025-08-17 23:16:34 | 0:00:41 | 72351 | failed install-dependencies |
| 10.7 | 228142 | 2025-08-17 23:16:34 | 0:00:41 | 72351 | failed install-dependencies |
| 14.arm64 | 60318 | 2025-08-17 17:37:10 | 0:00:03 | 22938 | failed install-dependencies |
| 15.arm64 | 24790 | 2025-08-17 0:24:24 | 0:00:03 | 9924 | failed install-dependencies |
| 13.arm64 | 87065 | 2025-08-15 3:53:10 | 0:06:03 | 34798 | failed install-port |
| 15.arm64 | 8206 | 2025-03-06 15:38:37 | 0:00:27 | 4347 | failed install-dependencies |
| 13 | 86054 | 2025-01-28 20:33:32 | 0:00:14 | 30194 | failed install-dependencies |
| 12.arm64 | 145309 | 2025-01-28 17:05:27 | 0:03:38 | 44356 | failed install-port |
| 14 | 56029 | 2025-01-27 17:09:23 | 0:00:17 | 18400 | failed install-dependencies |
| 13.arm64 | 78748 | 2025-01-27 13:44:29 | 0:01:17 | 29948 | failed install-port |
| 10.8 | 200238 | 2025-01-26 18:22:21 | 0:00:34 | 65416 | failed install-dependencies |
| 15 | 25929 | 2025-01-26 18:21:17 | 0:00:26 | 5855 | failed install-dependencies |
| 10.10 | 292658 | 2025-01-26 17:55:41 | 0:00:45 | 94953 | failed install-dependencies |
| 10.9 | 300139 | 2025-01-26 17:23:50 | 0:00:46 | 94623 | failed install-dependencies |
| 10.15 | 205072 | 2025-01-26 16:25:51 | 0:00:44 | 65629 | failed install-dependencies |
| 10.6.x86_64 | 227976 | 2025-01-26 15:38:16 | 0:00:40 | 67718 | failed install-dependencies |
| 10.6 | 192309 | 2025-01-26 15:30:25 | 0:00:45 | 67667 | failed install-dependencies |
| 14.arm64 | 51140 | 2025-01-26 15:04:59 | 0:00:33 | 18041 | failed install-dependencies |
| 13 | 85539 | 2025-01-14 6:29:54 | 0:00:10 | 29833 | failed install-dependencies |
| 14 | 55423 | 2025-01-13 4:18:33 | 0:00:11 | 18039 | failed install-dependencies |
| 15 | 16590 | 2024-10-19 1:39:23 | 0:00:28 | 2179 | failed install-dependencies |
| 15 | 14323 | 2024-10-15 9:17:31 | 0:00:51 | 1634 | failed install-dependencies |
| 14 | 45201 | 2024-08-04 10:00:41 | 0:00:20 | 12408 | failed install-dependencies |
| 12.arm64 | 134103 | 2024-08-04 7:27:32 | 0:01:26 | 38339 | failed install-port |
| 13.arm64 | 67891 | 2024-08-04 6:19:44 | 0:06:48 | 23952 | failed install-port |
| 10.7 | 200112 | 2024-08-03 12:46:02 | 0:00:33 | 61328 | failed install-dependencies |
| 10.6.x86_64 | 211944 | 2024-08-03 12:45:53 | 0:00:41 | 61617 | failed install-dependencies |
| 10.9 | 286270 | 2024-08-03 12:45:04 | 0:00:38 | 88588 | failed install-dependencies |
| 10.6 | 176124 | 2024-08-03 12:44:05 | 0:00:48 | 61572 | failed install-dependencies |
| 10.8 | 186643 | 2024-08-03 12:42:27 | 0:00:32 | 59381 | failed install-dependencies |
| 13 | 75821 | 2024-08-03 12:42:20 | 0:00:16 | 24203 | failed install-dependencies |
| 14.arm64 | 38528 | 2024-08-03 12:41:05 | 0:00:16 | 12042 | failed install-dependencies |
| 10.15 | 192578 | 2024-08-03 12:40:09 | 0:00:35 | 59632 | failed install-dependencies |
| 10.10 | 278947 | 2024-08-03 12:40:09 | 0:00:41 | 88916 | failed install-dependencies |
| 14.arm64 | 9982 | 2024-01-21 19:34:48 | 0:00:15 | 4347 | failed install-dependencies |
| 14 | 16517 | 2023-12-07 12:38:08 | 0:00:13 | 2637 | failed install-dependencies |
| 10.7 | 157341 | 2023-08-27 21:30:41 | 0:00:36 | 48207 | failed install-dependencies |
| 11.arm64 | 100837 | 2023-08-26 5:16:29 | 0:00:35 | 36406 | failed install-dependencies |
| 13.arm64 | 32934 | 2023-08-26 3:33:04 | 0:01:53 | 10821 | failed install-port |
| 10.15 | 152940 | 2023-08-25 22:26:05 | 0:00:34 | 46493 | failed install-dependencies |
| 13 | 45932 | 2023-08-25 21:25:06 | 0:00:14 | 10962 | failed install-dependencies |
| 12.arm64 | 104108 | 2023-08-25 19:58:49 | 0:01:35 | 25212 | failed install-port |
| 10.6 | 132659 | 2023-08-25 19:35:51 | 0:00:40 | 48424 | failed install-dependencies |
| 10.6.x86_64 | 168205 | 2023-08-25 19:34:34 | 0:00:36 | 48464 | failed install-dependencies |
| 10.8 | 145728 | 2023-08-25 19:28:57 | 0:00:35 | 46266 | failed install-dependencies |
| 10.9 | 243361 | 2023-08-25 19:26:25 | 0:00:24 | 75478 | failed install-dependencies |
| 10.10 | 236873 | 2023-08-25 19:25:50 | 0:00:30 | 75788 | failed install-dependencies |
| 13.arm64 | 12390 | 2023-03-09 16:29:10 | 0:01:58 | 4287 | failed install-port |
| 13.arm64 | 10974 | 2023-03-08 18:08:40 | 0:00:59 | 4161 | failed install-port |
| 10.8 | 119292 | 2023-01-15 12:08:14 | 0:00:39 | 37668 | failed install-dependencies |
| 10.7 | 130067 | 2023-01-15 11:33:31 | 0:00:40 | 39625 | failed install-dependencies |
| 10.10 | 210409 | 2023-01-15 10:12:43 | 0:01:14 | 67187 | failed install-dependencies |