ocaml-hacl-star (ocaml/ocaml-hacl-star) Updated: 3 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
185 build(s) found
Page 2 of 2 | Showing build(s) 101 to 185
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 39135 | 2021-09-04 0:38:46 | 0:02:09 | 21445 | failed install-dependencies |
| 10.8 | 59351 | 2021-09-04 0:38:15 | 0:01:21 | 19311 | failed install-dependencies |
| 10.6.x86_64 | 71726 | 2021-09-04 0:38:15 | 0:01:56 | 21416 | failed install-dependencies |
| 10.15 | 70236 | 2021-09-04 0:37:47 | 5:38:38 | 19609 | failed install-dependencies |
| 10.7 | 66924 | 2021-09-04 0:37:14 | 0:01:26 | 21452 | failed install-dependencies |
| 11.arm64 | 28778 | 2021-09-04 0:35:48 | 0:00:21 | 9625 | failed install-dependencies |
| 11 | 45073 | 2021-09-04 0:02:35 | 0:12:15 | 9423 | build successful |
| 10.14 | 98477 | 2021-09-03 15:37:18 | 0:01:04 | 30616 | failed install-dependencies |
| 10.13 | 121946 | 2021-09-03 12:15:34 | 0:00:59 | 39906 | failed install-dependencies |
| 10.6 | 39122 | 2021-09-03 5:24:33 | 0:02:03 | 21430 | failed install-dependencies |
| 10.9 | 158263 | 2021-09-03 4:35:38 | 0:01:02 | 48715 | failed install-dependencies |
| 10.8 | 59333 | 2021-09-03 3:55:13 | 0:01:22 | 19296 | failed install-dependencies |
| 10.12 | 157567 | 2021-09-03 3:02:20 | 0:01:45 | 47954 | failed install-dependencies |
| 10.11 | 152650 | 2021-09-02 22:46:08 | 0:00:58 | 48966 | failed install-dependencies |
| 10.6.x86_64 | 71711 | 2021-09-02 22:04:34 | 0:02:58 | 21401 | failed install-dependencies |
| 10.10 | 153983 | 2021-09-02 22:02:47 | 0:01:11 | 49029 | failed install-dependencies |
| 10.7 | 66906 | 2021-09-02 21:35:15 | 0:02:00 | 21437 | failed install-dependencies |
| 11.arm64 | 28761 | 2021-09-02 21:28:20 | 0:00:20 | 9610 | failed install-dependencies |
| 10.9 | 157452 | 2021-08-25 23:54:21 | 0:01:43 | 48502 | failed install-dependencies |
| 10.11 | 151819 | 2021-08-25 23:11:05 | 0:01:29 | 48753 | failed install-dependencies |
| 10.10 | 153193 | 2021-08-25 22:49:53 | 0:01:06 | 48816 | failed install-dependencies |
| 10.15 | 68976 | 2021-08-25 22:08:54 | 5:28:00 | 19383 | build successful |
| 11 | 43662 | 2021-08-25 22:02:15 | 0:12:20 | 9197 | build successful |
| 10.14 | 97596 | 2021-08-25 17:25:22 | 0:01:40 | 30390 | failed install-dependencies |
| 10.12 | 156692 | 2021-08-25 17:24:38 | 0:01:08 | 47728 | failed install-dependencies |
| 10.13 | 121085 | 2021-08-25 17:19:25 | 0:00:57 | 39680 | failed install-dependencies |
| 11.arm64 | 28203 | 2021-08-25 16:55:27 | 0:00:21 | 9384 | failed install-dependencies |
| 10.6 | 38610 | 2021-08-25 16:46:54 | 0:02:15 | 21203 | failed install-dependencies |
| 10.11 | 151773 | 2021-08-25 16:45:35 | 0:01:41 | 48740 | failed install-dependencies |
| 10.6.x86_64 | 70956 | 2021-08-25 16:45:33 | 0:01:59 | 21174 | failed install-dependencies |
| 10.9 | 157396 | 2021-08-25 16:45:22 | 0:01:51 | 48489 | failed install-dependencies |
| 10.10 | 153147 | 2021-08-25 16:45:07 | 0:02:05 | 48803 | failed install-dependencies |
| 10.8 | 58500 | 2021-08-25 16:43:30 | 0:01:31 | 19070 | failed install-dependencies |
| 10.7 | 66039 | 2021-08-25 16:43:25 | 0:01:31 | 21211 | failed install-dependencies |
| 10.14 | 89916 | 2021-06-17 12:31:32 | 0:01:45 | 28399 | failed install-dependencies |
| 10.11 | 144901 | 2021-06-17 10:25:29 | 0:01:08 | 46746 | failed install-dependencies |
| 10.6 | 34196 | 2021-06-17 8:54:32 | 0:02:10 | 19202 | failed install-dependencies |
| 10.6.x86_64 | 60268 | 2021-06-17 8:46:48 | 0:02:26 | 19172 | failed install-dependencies |
| 10.13 | 114273 | 2021-06-17 8:40:18 | 0:00:56 | 37691 | failed install-dependencies |
| 10.9 | 150399 | 2021-06-17 8:39:45 | 0:01:06 | 46493 | failed install-dependencies |
| 10.12 | 149809 | 2021-06-17 8:39:29 | 0:01:08 | 45738 | failed install-dependencies |
| 10.10 | 146305 | 2021-06-17 8:37:17 | 0:01:36 | 46813 | failed install-dependencies |
| 10.8 | 50169 | 2021-06-17 8:29:29 | 0:01:29 | 17074 | failed install-dependencies |
| 10.7 | 56695 | 2021-06-17 8:28:54 | 0:01:35 | 19212 | failed install-dependencies |
| 11.arm64 | 23550 | 2021-06-17 8:23:38 | 0:00:21 | 7377 | failed install-dependencies |
| 10.13 | 110974 | 2021-05-15 2:52:59 | 0:00:53 | 36335 | failed install-dependencies |
| 10.15 | 57760 | 2021-05-14 22:49:02 | 0:14:58 | 16040 | build successful |
| 10.9 | 146968 | 2021-05-14 17:44:19 | 0:00:55 | 45135 | failed install-dependencies |
| 10.10 | 142961 | 2021-05-14 17:13:53 | 0:01:16 | 45456 | failed install-dependencies |
| 10.7 | 52772 | 2021-05-14 1:44:12 | 0:01:26 | 17854 | failed install-dependencies |
| 11 | 30412 | 2021-05-13 12:19:45 | 0:12:01 | 5845 | build successful |
| 10.14 | 86614 | 2021-05-13 11:48:31 | 0:01:13 | 27043 | failed install-dependencies |
| 10.8 | 46414 | 2021-05-13 7:15:37 | 0:01:43 | 15715 | failed install-dependencies |
| 10.11 | 141430 | 2021-05-13 4:43:03 | 0:00:54 | 45390 | failed install-dependencies |
| 10.6.x86_64 | 56333 | 2021-05-13 0:43:57 | 0:02:21 | 17811 | failed install-dependencies |
| 10.6 | 31287 | 2021-05-12 23:41:17 | 0:02:31 | 17843 | failed install-dependencies |
| 10.12 | 146479 | 2021-05-12 20:35:43 | 0:00:59 | 44382 | failed install-dependencies |
| 11.arm64 | 20263 | 2021-05-12 1:33:26 | 0:00:19 | 6004 | failed install-dependencies |
| 11.arm64 | 15413 | 2021-03-19 17:03:37 | 0:00:34 | 3916 | failed install-dependencies |
| 10.14 | 77367 | 2021-01-24 8:51:42 | 0:01:14 | 23397 | failed install-dependencies |
| 11 | 16813 | 2021-01-24 6:18:57 | 0:01:13 | 2184 | failed install-dependencies |
| 10.11 | 131733 | 2021-01-23 19:45:57 | 0:01:13 | 41744 | failed install-dependencies |
| 10.12 | 136762 | 2021-01-23 4:49:59 | 0:00:51 | 40736 | failed install-dependencies |
| 10.13 | 101518 | 2021-01-23 1:06:33 | 0:01:50 | 32704 | failed install-dependencies |
| 10.15 | 49062 | 2021-01-22 21:08:50 | 0:01:00 | 12981 | failed install-dependencies |
| 10.10 | 133267 | 2021-01-22 15:45:09 | 0:01:05 | 41802 | failed install-dependencies |
| 10.8 | 36231 | 2021-01-22 11:21:03 | 0:02:04 | 12052 | failed install-dependencies |
| 10.6 | 24962 | 2021-01-22 6:05:05 | 0:01:54 | 14205 | failed install-dependencies |
| 10.7 | 41811 | 2021-01-22 5:25:33 | 0:01:23 | 14195 | failed install-dependencies |
| 10.6.x86_64 | 46196 | 2021-01-22 3:42:08 | 0:01:16 | 14217 | failed install-dependencies |
| 10.9 | 137096 | 2021-01-21 18:22:19 | 0:00:34 | 41753 | failed install-dependencies |
| 11.arm64 | 9805 | 2021-01-21 17:47:34 | 0:00:02 | 2327 | failed install-dependencies |
| 10.11 | 131135 | 2021-01-20 7:15:00 | 0:01:39 | 41657 | failed install-dependencies |
| 10.14 | 76730 | 2021-01-20 7:11:30 | 0:01:30 | 23309 | failed install-dependencies |
| 11 | 15752 | 2021-01-20 7:10:12 | 0:01:11 | 2097 | failed install-dependencies |
| 10.12 | 136295 | 2021-01-20 7:08:23 | 0:00:49 | 40649 | failed install-dependencies |
| 10.13 | 101047 | 2021-01-20 7:06:31 | 0:01:16 | 32617 | failed install-dependencies |
| 10.10 | 132819 | 2021-01-20 7:04:41 | 0:01:28 | 41715 | failed install-dependencies |
| 10.15 | 48372 | 2021-01-20 6:54:48 | 0:01:10 | 12894 | failed install-dependencies |
| 10.9 | 136696 | 2021-01-20 6:27:26 | 0:00:36 | 41666 | failed install-dependencies |
| 11.arm64 | 9632 | 2021-01-20 6:16:52 | 0:00:02 | 2241 | failed install-dependencies |
| 10.6 | 24581 | 2021-01-20 6:03:06 | 0:01:46 | 14118 | failed install-dependencies |
| 10.8 | 35788 | 2021-01-20 5:59:13 | 0:01:21 | 11965 | failed install-dependencies |
| 10.7 | 41368 | 2021-01-20 5:57:57 | 0:01:23 | 14108 | failed install-dependencies |
| 10.6.x86_64 | 45746 | 2021-01-20 5:57:52 | 0:01:39 | 14130 | failed install-dependencies |