Improve CI - Githubissues

openwsn-berkeley / lakers

EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.

https://crates.io/crates/lakers

BSD 3-Clause "New" or "Revised" License

13 stars 10 forks source link

Closed geonnave closed 1 year ago

geonnave commented 1 year ago

Addressing #53.

The CI workflow now:

checks style with rustfmt
runs unit tests for rust and hacspec versions of the code
builds the edhoc-rs lib with several configurations
run the edhoc-rs-no_std example on QEMU with several configurations (target thumbv7m-none-eabi)
builds edhoc-rs-no_std example on QEMU with several configurations (target thumbv7em-none-eabihf, e.g. nrf52840)

Also, some features were renamed for consistency.

geonnave commented 1 year ago

Build matrix and style check are ready, now addressing generation of fstar code.

geonnave commented 1 year ago

Generation of fstar code on CI was moved to its own issue (#57).

This is now ready to review / merge.

malishav commented 1 year ago

Looks great!