diagrams / monoid-extras

Miscellaneous constructions on monoids
Other
18 stars 27 forks source link

faster travis builds using containers #25

Open piyush-kurur opened 8 years ago

piyush-kurur commented 8 years ago

Travis build are faster if one uses the container infrastructure. The main limitation is that one is not allowed to use sudo. However, hvr's ppa is available for the container infrastructure See:

It might be a good idea to move to this style.

bergey commented 8 years ago

Yes, we should move monoid-extras and all the Diagrams packages to containers. If you have time to make a PR, that would be great.

My last attempt is at https://github.com/diagrams/diagrams-core/compare/travis. I ran out of time to figure out why the build was failing. monoid-extras should be easier because it has no dependencies that need to track git HEAD.