Stream: Dune devs & users

Topic: ✔ Confused with cram tests using Coq in the dune repo


view this post on Zulip Emilio Jesús Gallego Arias (Mar 16 2023 at 14:38):

I guess a few things to look @Rodolphe Lepigre is:

view this post on Zulip Emilio Jesús Gallego Arias (Mar 16 2023 at 14:38):

view this post on Zulip Rodolphe Lepigre (Mar 16 2023 at 14:50):

Indeed, a flag was introduced. I need to do DUNE_COQ_TEST=enable ./dune.exe build @test-alias. Thanks!

view this post on Zulip Notification Bot (Mar 16 2023 at 14:53):

Rodolphe Lepigre has marked this topic as resolved.

view this post on Zulip Ali Caglayan (Mar 16 2023 at 16:48):

Sorry about that, I should add a warning if a user tries to run a test but the flag is not set.


Last updated: May 25 2024 at 20:01 UTC