search

cryspen / libcrux

The formally verified crypto library for Rust
https://cryspen.com/libcrux
Apache License 2.0
48 stars 8 forks source link

Reuse CI workflows across the workspace #312

Open jschneider-bensch opened 2 weeks ago

franziskuskiefer commented 4 days ago

I created cryspen/actions for general workflows. #335 is a first use of that. Let's add generally useful workflows there.