Skip to content

Conversation

@rvl
Copy link
Contributor

@rvl rvl commented Jun 5, 2019

@rvl rvl added the bug Something isn't working label Jun 5, 2019
@rvl rvl self-assigned this Jun 5, 2019
@angerman angerman merged commit db92702 into master Jun 6, 2019
@rvl rvl deleted the rvl/fix-ci branch June 6, 2019 01:50
rvl added a commit that referenced this pull request Jun 6, 2019
Fix for #163 was missing something.

Failure was random because the repo is often already unpacked due to
the daily Hackage and Stackage update process.
rvl added a commit that referenced this pull request Jun 6, 2019
Fix for #163 was missing something.

Failure was random because the repo is often already unpacked due to
the daily Hackage and Stackage update process.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants