search

nikita-volkov / refined

Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
183 stars 31 forks source link

Add status badge to README.md #41

Closed sestrella closed 5 years ago

chessai commented 5 years ago

I don't see the point; travis does not watch this repo. Am i incorrect?

sestrella commented 5 years ago

@chessai perhaps, I'm missing something but I found a build history in Travis for this repo:

https://travis-ci.org/nikita-volkov/refined

chessai commented 5 years ago

well, it currently doesn't watch the repo, but perhaps it should, using haskell-ci.

sestrella commented 5 years ago

@chessai sounds reasonable, I'm going to close this PR then https://github.com/nikita-volkov/refined/pull/42 and attach the .travis.yml file generated by haskell-ci here. Does it sound good to you?

chessai commented 5 years ago

Yeah, that sounds exactly like what I had in mind. Thanks!

sestrella commented 5 years ago

I'm closing this PR in favor of https://github.com/nikita-volkov/refined/pull/43