search

oxidecomputer / phbl

Pico Host Boot Loader
Mozilla Public License 2.0
98 stars 7 forks source link

ci: add a miri target. #14

Closed dancrossnyc closed 2 years ago

dancrossnyc commented 2 years ago

Now that miri is working with strict provenance, add a CI target to run it on push.

Signed-off-by: Dan Cross cross@oxidecomputer.com