The State of the CI.

[jfdm]

Idris-mode is a front end for integrating with the Idris family of compilers (that is Idris 1 & Idris2).

Idris mode's CI suite tests against various emacs/idris versions. Irregularly, we address the range of versions of Emacs we test against. We should do the same for versions of Idris we test against.

My gut feeling is that Idris2 is more used than Idris1, and we should reflect this in our testing. I propose that we test Idris1 against the latest version of Emacs only.

Thoughts and comments?

So

[keram]

My gut feeling is that Idris2 is more used than Idris1

I would be happy to hear from anyone having real world use cases of Idris1 especially from emacs users.
I know that the user experience of Idris2 is still behind in many circumstances to Idris1 and I wish this would be prioritised in Idris2 language itself.
Example support for eldoc
Idris1

Idris2

:/ There should be somewhere issue reported in Idris2 repository although could not find it now.

From practical perspective to test idris-mode for Idris1 against only the latest version of Emacs should not be problem and it will make the whole CI pipeline less fragile and faster 👍🏻

[jfdm]

Thanks for the comments. I have pruned the CI so that idris-mode is tested against the latest idris1 and emacs.