Skip to content

chore: stop running make script on PRs#353

Closed
erickzhao wants to merge 3 commits intomasterfrom
build/avoid-make-on-pr
Closed

chore: stop running make script on PRs#353
erickzhao wants to merge 3 commits intomasterfrom
build/avoid-make-on-pr

Conversation

@erickzhao
Copy link
Member

No description provided.

@coveralls
Copy link

coveralls commented Mar 13, 2020

Coverage Status

Coverage remained the same at 94.852% when pulling ca13640 on build/avoid-make-on-pr into 4ec5bec on master.

@erickzhao erickzhao closed this Mar 16, 2020
@erickzhao erickzhao deleted the build/avoid-make-on-pr branch October 20, 2020 17:01
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.

2 participants