Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Invoke all Enso benchmarks via JMH #7101
Invoke all Enso benchmarks via JMH #7101
Changes from 70 commits
188d465
8836629
88fd6fb
19a439e
f6dd423
58c1e0d
f5a9aae
3f37a7d
7c33b3a
f70a6da
1584357
0f41777
9d9f328
0ee38df
3ec89ef
733338d
5b543ef
1f916e6
40a2ad7
65051a4
d5b41f3
1adad1a
85c3b96
5339233
a9cdd19
906cc4d
8f3d761
179949e
df82640
6ec55f9
954e96f
18e313a
4e9afc2
45d1143
a124a0b
8b6b96d
16d2f56
ad538e8
dc09d02
60f2372
4888e45
82b14c8
95e6dea
df99383
8683d37
00e6cf3
62f3480
80564b0
2e57598
f6bdc67
5001012
882ae8a
53373b7
81353d2
1d389d9
c19b53c
c5ec01e
9b34546
8bad812
2f409fb
30bb9f0
d3e6a87
7df60c5
6676b8c
60899de
97a0036
f562284
ea5315f
ed1909d
f5e9715
2664ded
08fa60b
495e6e6
939e8fb
701183e
11e0a12
7141b08
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Wow I did not know that, so cool!