Skip to content

Actions: hannesm/mirage-crypto

Crypto

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
151 workflow runs
151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github CI: increase versions
Crypto #456: Commit 9d30a60 pushed by hannesm
December 6, 2024 12:27 8m 13s use-getrandom-into
December 6, 2024 12:27 8m 13s
test_entropy: fail again, but disable on arm64
Crypto #454: Commit 53b1898 pushed by hannesm
December 6, 2024 10:49 6m 25s use-getrandom-into
December 6, 2024 10:49 6m 25s
adjust CI systems: no more 4.13
Crypto #453: Commit 5c885b0 pushed by hannesm
December 6, 2024 10:43 6m 57s use-getrandom-into
December 6, 2024 10:43 6m 57s
mirage-crypto-rng-unix: more documentation
Crypto #452: Commit 36562df pushed by hannesm
December 6, 2024 10:39 7m 20s use-getrandom-into
December 6, 2024 10:39 7m 20s
Update rng/unix/mirage_crypto_rng_unix.mli
Crypto #451: Commit 03d3e92 pushed by hannesm
November 29, 2024 20:10 11m 18s use-getrandom-into
November 29, 2024 20:10 11m 18s
Update rng/mirage_crypto_rng.mli
Crypto #450: Commit 49693c9 pushed by hannesm
November 29, 2024 20:09 6m 38s use-getrandom-into
November 29, 2024 20:09 6m 38s
using in_channel requires ocaml 4.14
Crypto #449: Commit 7a60519 pushed by hannesm
November 28, 2024 09:23 7m 26s use-getrandom-into
November 28, 2024 09:23 7m 26s
Add /dev/urandom and getentropy RNG generators
Crypto #448: Commit f6bf346 pushed by hannesm
November 27, 2024 19:34 8m 32s use-getrandom-into
November 27, 2024 19:34 8m 32s
Add /dev/urandom and getentropy RNG generators
Crypto #447: Commit 74690df pushed by hannesm
November 27, 2024 19:25 10m 13s use-getrandom-into
November 27, 2024 19:25 10m 13s
add urandom-channel to the benchmarks
Crypto #446: Commit 53da5fb pushed by hannesm
October 29, 2024 08:30 7m 17s use-getrandom-into
October 29, 2024 08:30 7m 17s
provide getrandom-into from mirage-crypto-rng-unix
Crypto #445: Commit 0a67fe4 pushed by hannesm
October 28, 2024 20:20 10m 38s use-getrandom-into
October 28, 2024 20:20 10m 38s
fix mirage example
Crypto #444: Commit 84cfdd2 pushed by hannesm
October 1, 2024 08:05 7m 43s no-cs
October 1, 2024 08:05 7m 43s
mirage-crypto-rng-eio: declare the cstruct dependency
Crypto #443: Commit 9bad6d8 pushed by hannesm
October 1, 2024 07:35 9m 55s no-cs
October 1, 2024 07:35 9m 55s
mirage-crypto-ec: provide Dh.secret_to_octets
Crypto #442: Commit 35aa1be pushed by hannesm
August 20, 2024 10:23 9m 46s ecdh-secret-to-octets
August 20, 2024 10:23 9m 46s
fix CCM, as discovered when porting TLS to string
Crypto #441: Commit 398e566 pushed by hannesm
August 20, 2024 08:57 8m 6s fix-ccm
August 20, 2024 08:57 8m 6s
fix CCM, as discovered when porting TLS to string
Crypto #440: Commit 7556bc9 pushed by hannesm
August 20, 2024 08:52 9m 58s fix-ccm
August 20, 2024 08:52 9m 58s
add tailcall annotations, remove an argument from ccm's loop
Crypto #439: Commit 52e5105 pushed by hannesm
June 18, 2024 13:06 7m 7s into
June 18, 2024 13:06 7m 7s
ccm: remove maclen argument, and ensure tag_size = block_size
Crypto #438: Commit 332890e pushed by hannesm
June 18, 2024 12:51 6m 58s into
June 18, 2024 12:51 6m 58s
poly1305: mac_into appropriate bounds checks, also unsafe_mac_into
Crypto #437: Commit 7805a7c pushed by hannesm
June 18, 2024 12:46 6m 51s into
June 18, 2024 12:46 6m 51s
update documentation, esp off < 0
Crypto #436: Commit 829ceb5 pushed by hannesm
June 18, 2024 12:40 7m 32s into
June 18, 2024 12:40 7m 32s
revise bounds checks (cc @reynir @palainp), also check off >= 0
Crypto #435: Commit 08a8b16 pushed by hannesm
June 18, 2024 12:30 7m 15s into
June 18, 2024 12:30 7m 15s
Apply suggestions from code review
Crypto #434: Commit 3399544 pushed by hannesm
June 18, 2024 12:13 8m 22s into
June 18, 2024 12:13 8m 22s