Attempt to run Julia (nightly) again for coverage numbers #82
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.
This PR attempts to close #79 by rerunning Julia nightlies to generate coverage data.
It all seems to work, except that Coverage fails with an inscrutable error:
I'm not sure what could have changed in the past 4 days between build #116 and build #115 to cause this. And then there's build #118 where printing out the environment apparently circumvents this error. Any ideas @IainNZ ?