obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Add github actions CI config, remove unused .travis.yml #53

Closed jhrcek closed 4 months ago

jhrcek commented 4 months ago

It would be great to have some guarantees that the package actually builds with all ghc it claims to be tested-with. To that end, could you please accept this CI config? You can see it passes in my fork: https://github.com/jhrcek/dependent-map/pull/1

ali-abrar commented 4 months ago

@jhrcek thanks once again!