Skip to content

Replace codecs.open() with built-in open() (#210) #148

Replace codecs.open() with built-in open() (#210)

Replace codecs.open() with built-in open() (#210) #148

Triggered via push January 2, 2026 12:35
Status Success
Total duration 39s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
html Expired
597 KB
sha256:b01459a312155986da5a5c93437a65dbc6404837dc14fb6e673993b59da0b31e