issue !4#24825: post-update hook fail on Windows 11 and m...

Stream: triage

[Random Issue Bot]

Today I chose issue #24825 for discussion!

post-update hook fail on Windows 11 and mathlib 4.18 +, "error: input/output error (error code: 5)"
Created by @Peng Cheng (@tribbloid) on 2025-05-12
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?