Open plafer opened 3 weeks ago
We should update CI jobs and Makefile here to follow what we've done in miden-base
. @phklive - could you help with this?
Also, the integration tests in miden/tests/
are not executed on the CI.
We should update CI jobs and Makefile here to follow what we've done in
miden-base
. @phklive - could you help with this?
Sure, will make sure to add this in the CI and makefile.
Also, the integration tests in
miden/tests/
are not executed on the CI.
Let me look into it.
Most of the code under
miden/
is behind theexecutable
feature flag, and isn't norcargo clippy
d by our CI. We should probably add--all-features
to our clippy check.https://github.com/0xPolygonMiden/miden-vm/pull/1349#discussion_r1639712119