Skip to content

[shake-bench] collect eventlogs#1324

Merged
mergify[bot] merged 4 commits into
masterfrom
benchmark-eventlogs
Feb 9, 2021
Merged

[shake-bench] collect eventlogs#1324
mergify[bot] merged 4 commits into
masterfrom
benchmark-eventlogs

Conversation

@pepeiborra

Copy link
Copy Markdown
Collaborator

The eventless contain opentelemetry traces of various ghcide actions and handlers, and can be inspected with e.g. eventlog-to-tracy.

@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Feb 8, 2021
@mergify
mergify Bot merged commit 9bb3bb7 into master Feb 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants