vehicle-lang
Add tests for type-checking generated Agda code to the CI
All of our Agda modules now compile with Agda 2.6.2 and Standard Library v1.7. We should add some unit tests to ensure that this carries on being the case :smile:
These tests are now available under cabal run build integration-tests but not yet integrated into the CI test suite.
Any chance we could add Agda as a dependency for that test suite, and link against it? Would make installing Agda much easier. Also, let’s run it in a separate job, as installing Agda’s rather slow.
Any chance we could add Agda as a dependency for that test suite, and link against it?
Makes sense to me.
Also, let’s run it in a separate job, as installing Agda’s rather slow.
Hmm how does caching work across multiple jobs? At the moment we're caching Cabal and all the installed packages in the main job. Do you know if we would be able to access that cache? (no worries if you don't know, I haven't looked up the answers yet myself)
One cache per branch/PR, with the option to provide further keys to differentiate between OS, GHC version, etc.
At the moment we're caching Cabal and all the installed packages in the main job. Do you know if we would be able to access that cache?
Think so, but let's see.