Flexible bounds for select (#57) · softwaremill/jox@dd61e81

Auto-push failed 3 times since the remote branch main rejected pushing all the time. Last exception was: Command 'git' failed with args '-c user.name=github-action-benchmark -c user.email=github@users.noreply.github.com -c http.https://github.com/.extraheader= push ***github.com/softwaremill/jox.git main:main --no-verify': To https://github.com/softwaremill/jox.git ! [rejected] main -> main (fetch first) error: failed to push some refs to 'https://github.com/softwaremill/jox.git' hint: Updates were rejected because the remote contains work that you do not hint: have locally. This is usually caused by another repository pushing to hint: the same ref. If you want to integrate the remote changes, use hint: 'git pull' before pushing again. hint: See the 'Note about fast-forwards' in 'git push --help' for details. : Error: The process '/usr/bin/git' failed with exit code 1

ci

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, release-drafter/release-drafter@v5. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

benchmark

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

benchmark

Auto-push failed because the remote main was updated after git pull

benchmark

Retrying to generate a commit and push to remote main with retry count 10...

benchmark

Auto-push failed because the remote main was updated after git pull

benchmark

Retrying to generate a commit and push to remote main with retry count 9...

benchmark

Auto-push failed because the remote main was updated after git pull

benchmark

Retrying to generate a commit and push to remote main with retry count 8...