Skip to content

Compile on Coq Platform in CI

Make sure Prosa compiles cleanly in a default Coq Platform environment.

This will be easy once there's a standard Docker image for Coq Platform.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information