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

Give linter 15 minutes. #264

Merged
merged 1 commit into from
Jun 14, 2018
Merged

Conversation

markmandel
Copy link
Member

Trying to stop timeouts :/

Trying to stop timeouts :/
@markmandel markmandel added the area/build-tools Development tooling. I.e. pretty much everything in the `build` directory. label Jun 13, 2018
@agones-bot
Copy link
Collaborator

Build Succeeded 👏

Build Id: 24f3269b-581f-45a5-9711-fd34879ec09c

The following development artifacts have been built, and will exist for the next 30 days:

@EricFortin EricFortin merged commit 919d149 into googleforgames:master Jun 14, 2018
@markmandel markmandel deleted the build/15-mins branch June 14, 2018 15:17
@markmandel markmandel added this to the 0.3.0 milestone Jun 15, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/build-tools Development tooling. I.e. pretty much everything in the `build` directory.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants