Skip to content

Merge pull request #5633 from LukeTheoJohnson/fix-json-io-utf8-encoding #213

Merge pull request #5633 from LukeTheoJohnson/fix-json-io-utf8-encoding

Merge pull request #5633 from LukeTheoJohnson/fix-json-io-utf8-encoding #213

Triggered via push July 22, 2026 16:17
Status Success
Total duration 17s
Artifacts
Run ruff check
14s
Run ruff check
Fit to window
Zoom out
Zoom in