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 2 of 3 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.9 | 191112 | 2022-06-08 0:44:14 | 1:29:02 | 58802 | failed install-dependencies |
| 10.10 | 185994 | 2022-06-08 0:29:26 | 1:22:26 | 59112 | failed install-dependencies |
| 10.15 | 102634 | 2022-06-07 22:44:23 | 1:36:01 | 29883 | failed install-dependencies |
| 12.arm64 | 52228 | 2022-05-28 0:27:48 | 0:00:06 | 8096 | failed install-dependencies |
| 10.15 | 101094 | 2022-05-27 8:01:07 | 1:31:52 | 29435 | failed install-dependencies |
| 10.9 | 189385 | 2022-05-27 7:58:05 | 1:30:06 | 58355 | failed install-dependencies |
| 10.10 | 184382 | 2022-05-27 7:49:35 | 1:22:16 | 58664 | failed install-dependencies |
| 10.6.x86_64 | 106060 | 2022-05-27 6:29:36 | 0:00:33 | 31241 | failed install-dependencies |
| 10.6 | 71992 | 2022-05-27 6:29:34 | 0:00:33 | 31272 | failed install-dependencies |
| 10.8 | 90739 | 2022-05-27 6:28:20 | 0:00:27 | 29137 | failed install-dependencies |
| 10.7 | 100307 | 2022-05-27 6:27:32 | 0:00:26 | 31084 | failed install-dependencies |
| 11.arm64 | 54902 | 2022-05-27 6:26:06 | 0:00:11 | 19270 | failed install-dependencies |
| 10.15 | 99677 | 2022-05-16 9:46:02 | 1:29:31 | 29047 | failed install-dependencies |
| 10.10 | 182919 | 2022-05-16 9:45:18 | 1:33:01 | 58276 | failed install-dependencies |
| 10.9 | 187904 | 2022-05-16 9:38:54 | 1:28:45 | 57967 | failed install-dependencies |
| 11.arm64 | 43810 | 2022-01-18 6:08:19 | 0:00:08 | 14930 | failed install-dependencies |
| 10.15 | 88192 | 2022-01-18 5:32:54 | 1:39:09 | 25114 | failed install-dependencies |
| 10.9 | 176207 | 2022-01-18 5:30:40 | 1:38:10 | 54027 | failed install-dependencies |
| 10.10 | 171454 | 2022-01-18 5:24:32 | 1:36:54 | 54338 | failed install-dependencies |
| 12.arm64 | 39226 | 2022-01-18 4:42:03 | 0:00:06 | 3753 | failed install-dependencies |
| 10.6 | 54535 | 2022-01-18 4:04:44 | 0:00:40 | 26932 | failed install-dependencies |
| 10.6.x86_64 | 88888 | 2022-01-18 4:03:05 | 0:00:33 | 26893 | failed install-dependencies |
| 10.8 | 77086 | 2022-01-18 4:00:58 | 0:00:24 | 24807 | failed install-dependencies |
| 10.7 | 85252 | 2022-01-18 4:00:47 | 0:00:26 | 26752 | failed install-dependencies |
| 10.10 | 169830 | 2022-01-07 14:21:48 | 1:40:27 | 53904 | failed install-dependencies |
| 10.15 | 86664 | 2022-01-07 14:18:44 | 1:32:43 | 24678 | failed install-dependencies |
| 10.9 | 174556 | 2022-01-07 14:15:54 | 1:31:41 | 53590 | failed install-dependencies |
| 12 | 7444 | 2021-12-24 12:21:50 | 0:11:33 | 2015 | build successful |
| 10.8 | 70283 | 2021-12-12 20:40:01 | 0:01:37 | 23106 | failed install-dependencies |
| 10.10 | 164970 | 2021-12-12 19:33:50 | 1:27:11 | 52837 | failed install-dependencies |
| 10.7 | 78257 | 2021-12-12 4:09:56 | 0:01:24 | 25249 | failed install-dependencies |
| 10.15 | 81426 | 2021-12-10 21:20:00 | 1:31:03 | 23413 | failed install-dependencies |
| 10.9 | 169626 | 2021-12-10 9:33:43 | 1:52:00 | 52524 | failed install-dependencies |
| 12.arm64 | 31957 | 2021-12-10 4:05:56 | 0:00:23 | 2232 | failed install-dependencies |
| 10.6 | 47248 | 2021-12-09 23:46:25 | 0:03:09 | 25244 | failed install-dependencies |
| 10.6.x86_64 | 82532 | 2021-12-09 22:31:00 | 0:02:46 | 25218 | failed install-dependencies |
| 11.arm64 | 37323 | 2021-12-09 19:40:50 | 0:00:22 | 13419 | failed install-dependencies |
| 12.arm64 | 15816 | 2021-11-15 9:20:59 | 0:00:22 | 1071 | failed install-dependencies |
| 10.15 | 70256 | 2021-09-04 16:11:11 | 3:22:10 | 19623 | failed install-dependencies |
| 10.14 | 98497 | 2021-09-04 8:47:08 | 0:10:48 | 30630 | build successful |
| 10.13 | 121966 | 2021-09-04 6:28:33 | 0:09:26 | 39920 | build successful |
| 10.11 | 152670 | 2021-09-04 6:27:00 | 0:15:32 | 48980 | build successful |
| 10.10 | 154003 | 2021-09-04 5:52:34 | 0:01:16 | 49043 | failed install-dependencies |
| 10.9 | 158281 | 2021-09-04 5:36:39 | 3:37:53 | 48729 | failed install-dependencies |
| 10.12 | 157587 | 2021-09-04 4:33:58 | 0:10:33 | 47968 | build successful |
| 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 |