Skip to content

tiltfile: add tiltfile exec metrics reporting#3934

Merged
nicks merged 1 commit into
masterfrom
nicks/ch10252
Nov 18, 2020
Merged

tiltfile: add tiltfile exec metrics reporting#3934
nicks merged 1 commit into
masterfrom
nicks/ch10252

Conversation

@nicks

@nicks nicks commented Nov 18, 2020

Copy link
Copy Markdown
Contributor

Hello @landism,

Please review the following commits I made in branch nicks/ch10252:

b32577a (2020-11-18 14:01:33 -0500)
tiltfile: add tiltfile exec metrics reporting

Code review reminders, by giving a LGTM you attest that:

  • Commits are adequately tested
  • Code is easy to understand and conforms to style guides
  • Incomplete code is marked with TODOs
  • Code is suitably instrumented with logging and metrics

@nicks
nicks merged commit 2583877 into master Nov 18, 2020
@nicks
nicks deleted the nicks/ch10252 branch November 18, 2020 21:29
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