search

tuura / plato

A DSL for asynchronous circuits specification
Other
12 stars 2 forks source link

Bump CI to GHC 7.10 #13

Closed mvdan closed 8 years ago

mvdan commented 8 years ago

Travis currently only has versions up to 7.8 available: https://github.com/travis-ci/travis-ci/issues/3785

We could semi-automatically install 7.10 as described in the issue, but we're not in desperate need of a newer version. This issue is just so that we remember to eventually switch .travis.yml to 7.10.

snowleopard commented 8 years ago

Switching to 7.10 is not urgent but may become necessary at some point.

mvdan commented 8 years ago

If it becomes necessary for CI we just have to check whether Travis has official support for it at that point. If it doesn't, we can then switch to manual installation as a temporary workaround.

mvdan commented 8 years ago

Some projects have successfully switched to 7.10, so not sure what's going on. I guess 7.10 is available after all.