Closed this issue 2 years ago · 0 comments
I like the test setup we had for the Devcontainers in #25 using Bats. I think having something similar just to test that the Idris binary is working in the Ubuntu and Debian images is a good idea.