Skip to content

Polish pipeline config and add coverage reporting#2525

Merged
Tyriar merged 5 commits intoxtermjs:masterfrom
Tyriar:az
Oct 31, 2019
Merged

Polish pipeline config and add coverage reporting#2525
Tyriar merged 5 commits intoxtermjs:masterfrom
Tyriar:az

Conversation

@Tyriar
Copy link
Copy Markdown
Member

@Tyriar Tyriar commented Oct 31, 2019

No description provided.

@Tyriar Tyriar added this to the 4.3.0 milestone Oct 31, 2019
@Tyriar Tyriar self-assigned this Oct 31, 2019
@Tyriar Tyriar merged commit e8153d9 into xtermjs:master Oct 31, 2019
@Tyriar Tyriar deleted the az branch October 31, 2019 04:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant