Skip to content
Semgrep

fix: restore the character that terminates a number #980

Sign in to view logs

fix: restore the character that terminates a number

fix: restore the character that terminates a number #980

Triggered via pull request August 4, 2026 13:05
@nlohmannnlohmann
synchronize #5344
claude/issue-5340-restore-unget
Status Success
Total duration 48s
Artifacts –

semgrep.yml

on: pull_request
Scan
45s
Scan
Fit to window
Zoom out
Zoom in