Skip to content
miri

fix: serialize decimals as quoted strings in JSON output #1

Sign in to view logs

fix: serialize decimals as quoted strings in JSON output

fix: serialize decimals as quoted strings in JSON output #1

Triggered via pull request September 26, 2025 02:53
@okhsunrogokhsunrog
opened #2
okhsunrog:fix/decimal-json-string-serialization
Status Failure
Total duration 11m 58s
Artifacts –

miri.yaml

on: pull_request
MIRI
11m 53s
MIRI
Fit to window
Zoom out
Zoom in

Annotations

1 error
MIRI
Process completed with exit code 101.