dev/sg: log linter events, add more docs to LogEvent (!36255) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge linter-analytics into main May 30, 2022

Created by: bobheadxi

Logs linter durations and whether they get cancelled or not. Inspired by https://github.com/sourcegraph/sourcegraph/pull/36250

Thought: maybe we can submit events in CI? 😲 Part of https://github.com/sourcegraph/sourcegraph/issues/33447, maybe related to https://github.com/sourcegraph/sourcegraph/issues/32562

Test plan

go run ./dev/sg --disable-analytics=false lint