Skip to content

Don't JSON encode decimals as string #1571

Don't JSON encode decimals as string

Don't JSON encode decimals as string #1571

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

codeql.yml

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