Add typelevel/mouse to build #708
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Full disclosure: after a week of (re-)trying I havent been able to get the build to run green locally on my laptop at home. Problem seems to be that after 1-3 hours of running transient glitches in my home internet cause the build to fail, eg
fatal: unable to access 'https://github.com/sksamuel/exts.git/': Could not resolve host: github.com
A quicker "sanity check" build would be useful for checking PRs