Stream: Dune devs & users

Topic: Coq versions in Dune CI


view this post on Zulip Emilio Jesús Gallego Arias (Oct 25 2023 at 16:46):

Hi @Ali Caglayan , I was wondering if we should test other Coq versions in Dune's upstream CI in addition to 8.16 . IMHO I'd say yes. WDYT?

view this post on Zulip Ali Caglayan (Nov 17 2023 at 23:49):

That's ok with me. I think testing an upper and lower case would be enough.

view this post on Zulip Ali Caglayan (Nov 17 2023 at 23:50):

This will need some work to make the tests work in both versions of Coq, but we shouldn't really be doing anything version specific in tests. If we need something version specific we can guard it behind the coq version (hopefully).

view this post on Zulip Emilio Jesús Gallego Arias (Nov 21 2023 at 14:23):

Yes!


Last updated: May 25 2024 at 20:01 UTC