search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

Setup continuous intergration #20

Closed Z-snails closed 3 years ago

Z-snails commented 3 years ago

For now this just checks it builds. I copied this from idris-community/idris2-lsp, which I believe @alexhumphreys set up, so could you check I've done this right please?

alexhumphreys commented 3 years ago

I did a CI setup using docker on idris2-lsp, it's since been updated by @michaelmesser to build from source. But I took a look over what you have here, and it looks good to me. Plus the checks passed successfully so that's the main thing that matters 😄

Z-snails commented 3 years ago

Awesome, I'll merge it then, thanks @alexhumphreys!