search

eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Test Suite #5

Closed eayus closed 2 years ago

eayus commented 2 years ago

We could really do with adding a test suite to CI to ensure changes we push aren't breaking.

eayus commented 2 years ago

Closing because of #6