diff options
| author | Jason Nochlin <91577+hundredwatt@users.noreply.github.com> | 2024-01-10 02:05:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-10 10:05:16 +0100 |
| commit | c92c88b9fbea06422bbadeafe237c134361ecb88 (patch) | |
| tree | 9a6d727208462ed08510c935b07b1a708d5d9a22 /pom.xml | |
| parent | fa1ca65bfd608fb117181de07320d8b568d30f12 (diff) | |
evaluate2.sh improvements - leaderboard, default SDK
* reset the JDK to the default (21.0.1-open) when no prepare script is provided
* leaderboard improvements - sorting and content
* run sdk install once at the beginning of the script for all the SDKs detected in any of the evaluated prepare scripts
* remove unnecessary code and tweak doc comments
* one more nit
* Don't print rankings values when only 1 fork is being evaluated
* It's been a few hours, so I now have some more rate limit :)
---------
Co-authored-by: Jason Nochlin <hundredwatt@users.noreply.github.com>
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -206,6 +206,7 @@ <exclude>**/measurements*.txt</exclude> <exclude>**/measurements*.out</exclude> <exclude>out_expected.txt</exclude> + <exclude>github_users.txt</exclude> </excludes> </configuration> <executions> |