23.05.02 is the large-statistics May 2023 production. Update to this default in s3tool.rb. Additionally update the default in CI (by simply removing the --version specification).
What kind of change does this PR introduce?
[ ] Bug fix (issue #__)
[x] New feature (issue #__)
[ ] Documentation update
[ ] Other: __
Please check if this PR fulfills the following:
[x] Tests for the changes have been added
[ ] Documentation has been added / updated
[ ] Changes have been communicated to collaborators
Does this PR introduce breaking changes? What changes might users need to make to their code?
Briefly, what does this PR introduce?
23.05.02 is the large-statistics May 2023 production. Update to this default in
s3tool.rb. Additionally update the default in CI (by simply removing the--versionspecification).What kind of change does this PR introduce?
Please check if this PR fulfills the following:
Does this PR introduce breaking changes? What changes might users need to make to their code?
No
Does this PR change default behavior?
No, but this is a new default production.