mit-plv/fiat-crypto

Test install target on CI

JasonGross opened this issue · 0 comments

JasonGross commented

We should test the install target on CI to avoid issues like coq/coq#18191 (comment)