Skip to content

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

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 #11872

Triggered via pull request February 13, 2025 07:11
Status Success
Total duration 19m 35s
Artifacts

miri.yaml

on: pull_request
Fit to window
Zoom out
Zoom in