[build] pass --with-test for the current package

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

MIT License

12 stars 4 forks source link

Closed gares closed 3 years ago

gares commented 3 years ago

It is customary in OPAM packages to separate build instruction from testing instructions. The latter are only run if --with-test is passed.

gares commented 3 years ago

duplicate of #48