Skip to content

[ghcide-bench] Support extra args in examples#2107

Merged
pepeiborra merged 3 commits into
masterfrom
experiments-extra-options
Aug 19, 2021
Merged

[ghcide-bench] Support extra args in examples#2107
pepeiborra merged 3 commits into
masterfrom
experiments-extra-options

Conversation

@pepeiborra

Copy link
Copy Markdown
Collaborator

This is useful in the context of #2060 to compare performance with and without reactive change tracking

This is useful in the context of #2060 to compare performance with and
without reactive change tracking
@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Aug 17, 2021
@pepeiborra
pepeiborra force-pushed the experiments-extra-options branch from 506e570 to d01df09 Compare August 18, 2021 17:42
@pepeiborra
pepeiborra merged commit 790afc6 into master Aug 19, 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.

3 participants