GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

628 stars 42 forks source link

`crux-mir` CI: Build libs for `wasm32-unknown-unknown` #1153

Open qsctr opened 9 months ago

qsctr commented 9 months ago

1147 added support for running `translate_libs.sh` with a target of `wasm32-unknown-unknown`. We should add a CI action that runs `TARGET=wasm32-unknown-unknown ./translate_libs.sh` to ensure this keeps working. (More discussion in #1147.)