search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

fix test failure in CI testing with missing nailgun binary #2357

Closed dwightguth closed 6 years ago

daejunpark commented 6 years ago

any reason not merging this? @nishantjr @msaxena2