Skip to content

Don't JSON encode decimals as string #1569

Don't JSON encode decimals as string

Don't JSON encode decimals as string #1569

Triggered via pull request January 27, 2026 12:08
Status Success
Total duration 1m 56s
Artifacts

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in