stefanvodita merged PR #13000:
URL: https://github.com/apache/lucene/pull/13000
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscr...@lucen
stefanvodita opened a new pull request, #13000:
URL: https://github.com/apache/lucene/pull/13000
Documenting the operation costs from the [latest stale workflow
run](https://github.com/apache/lucene/actions/runs/7454785611/job/20282760199)
for posterity.
--
This is an automated message f
