Skip to content

Add hooks to json encoder to override default encoding or add support for unsupported types #11725

Add hooks to json encoder to override default encoding or add support for unsupported types

Add hooks to json encoder to override default encoding or add support for unsupported types #11725

Triggered via pull request January 31, 2025 21:18
Status Success
Total duration 19m 22s
Artifacts

miri.yaml

on: pull_request
Fit to window
Zoom out
Zoom in