Skip to content

[build] Allow tip failures#312

Merged
elithrar merged 1 commit intomasterfrom
elithrar/build-tip-failures
Nov 4, 2017
Merged

[build] Allow tip failures#312
elithrar merged 1 commit intomasterfrom
elithrar/build-tip-failures

Conversation

@elithrar
Copy link
Contributor

@elithrar elithrar commented Nov 4, 2017

Allow CI failures on tip (warn, don't error)

@elithrar elithrar self-assigned this Nov 4, 2017
@elithrar elithrar changed the title [build] Allow tip failurs [build] Allow tip failures Nov 4, 2017
@elithrar elithrar merged commit bc452d9 into master Nov 4, 2017
@elithrar elithrar deleted the elithrar/build-tip-failures branch November 4, 2017 20:51
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