html: replace deprecated codecs.open with builtin open #6289
+2
−3
Codecov / codecov/patch
succeeded
Mar 23, 2026 in 0s
100.00% of diff hit (target 73.67%)
View this Pull Request on Codecov
100.00% of diff hit (target 73.67%)
Loading