You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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.
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.
The text was updated successfully, but these errors were encountered: