Emilio Jesús Gallego Arias (Oct 25 2023 at 16:46): 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?
Ali Caglayan (Nov 17 2023 at 23:49):That's ok with me. I think testing an upper and lower case would be enough.
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).
Emilio Jesús Gallego Arias (Nov 21 2023 at 14:23):Yes!
Last updated: Oct 13 2024 at 01:02 UTC