Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add --test-dhow-details=direct to CI tests #466

Closed
vrom911 opened this issue May 24, 2020 · 0 comments · Fixed by #473
Closed

Add --test-dhow-details=direct to CI tests #466

vrom911 opened this issue May 24, 2020 · 0 comments · Fixed by #473
Assignees
Labels
CI CI tools support; project CI; build with different GHC, tools enhancement generated project Files, folder generation by the summoner

Comments

@vrom911
Copy link
Member

vrom911 commented May 24, 2020

No description provided.

@vrom911 vrom911 added generated project Files, folder generation by the summoner CI CI tools support; project CI; build with different GHC, tools enhancement labels May 24, 2020
@vrom911 vrom911 self-assigned this Jun 27, 2020
vrom911 added a commit that referenced this issue Jun 27, 2020
chshersh pushed a commit that referenced this issue Jun 27, 2020
@chshersh chshersh added this to the v2.1: Update milestone Jul 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI CI tools support; project CI; build with different GHC, tools enhancement generated project Files, folder generation by the summoner
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants