chore(CI): Run hax always, using pre-built docker image

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

12 stars 10 forks source link

chore(CI): Run hax always, using pre-built docker image #155

Closed chrysn closed 7 months ago

chrysn commented 7 months ago

Let's see if building is as fast as I'd expect now that there is a hax image on dockerhub.

geonnave commented 7 months ago

Wow, container pull + hax gen in 2 minutes!

chrysn commented 7 months ago

I think this is ready now. Please have an extra look at whether the removal of ead-none is right here. Possibly, we may want to add another line that does the check on the consts module while it is behaving weirdly as you described in chat -- but that's probably nothing that'll stop this PR.

geonnave commented 7 months ago

The removal of ead-none was right. I pushed a change to reflect the following:

we are not typechecking the crypto backends
we want to typecheck edhoc-consts
call hax with edhoc-consts after edhoc-rs, just in case