uschindler commented on PR #13570: URL: https://github.com/apache/lucene/pull/13570#issuecomment-2233693234
Hi, this failure is unrelated. The difference is: Locally I use Windows 11, Jenkins uses Windows 10. Actually it looks like on Windows 11 it is in fact possible to delete memory mapped files. I have to confirm this (something rigs a bell in my head....). -- 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...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
