I've had these commits lying around locally for a while. I've attempted to fix the testsuite when running it under Nix, especially by ensuring that both nvim and agda are available to the tests. Now CI at least fails with some reasonable errors instead of reporting "no nvim in $PATH" as "all OK".
In particular fe25c8e0182f18469ad6db306cb3e59c2d30e90d, 8f12732689575113829e743ba9cbb86da4837619 and ff67545f82f3c5c442640a940fff4ac0cb9cdd09 could be of interest. But there's other commits in here that are perhaps independently useful. Feel free to cherry-pick anything that's useful.
I've had these commits lying around locally for a while. I've attempted to fix the testsuite when running it under Nix, especially by ensuring that both
nvimandagdaare available to the tests. Now CI at least fails with some reasonable errors instead of reporting "nonvimin $PATH" as "all OK".In particular fe25c8e0182f18469ad6db306cb3e59c2d30e90d, 8f12732689575113829e743ba9cbb86da4837619 and ff67545f82f3c5c442640a940fff4ac0cb9cdd09 could be of interest. But there's other commits in here that are perhaps independently useful. Feel free to cherry-pick anything that's useful.