Update CI - Githubissues

cryspen / libcrux

The formally verified crypto library for Rust

https://cryspen.com/libcrux

Apache License 2.0

81 stars 13 forks source link

Update CI #54

Open franziskuskiefer opened 1 year ago

franziskuskiefer commented 1 year ago

Update the CI

[ ] add merge queues
[x] add rust fmt checks
[ ] ~~add individual jobs for the sys libraries.~~

Platform support

[x] macOS x64
[x] macOS aarch64 (builds only)
[ ] iOS aarch64 (builds only)
[ ] Windows x86
[x] Windows x64
[x] Linux x64
[x] Linux x86
[ ] Linux aarch64
[ ] Android aarch64
[x] wasm-32

Ergonomics & Maintainability

[ ] Pull out common things like setup into reusable workflows

There are some CI improvements esp. for 32-bit in #21.

github-actions[bot] commented 1 month ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

franziskuskiefer commented 1 month ago

merge queues is being worked on in #525
we should add the remaining architectures to CI for Rust only code