search

isovector / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
130 stars 22 forks source link

Fix broken testsuite #78

Closed phijor closed 1 year ago

phijor commented 2 years ago

While working on some feature, I noticed that the testsuite is kind of broken. In particular, in the absence of a working Neovim, all the tests would magically pass.

This PR should fix the testsuite. It will (probably) break CI, so I'm marking it as a draft.

3462922cc8f23794bac77d83519462768dce9d83 adds a nix shell environment, and 99a0c6b6e5aff9c7e5d1d2162a519613fa851c45 describes how to use it to run the test suite.

isovector commented 2 years ago

Yeah, sorry for not documenting this. I didn't want to invest the time in getting nvim working on CI, but still wanted to be ensure the build succeeds. I'd be forever grateful for a PR that gets this running in CI!

isovector commented 1 year ago

Subsumed by #90; CI is working now :)