Skip to content
Semgrep Differential Scan

Convert userprefs to a json file instead of header file which has to be included everywhere #6936

Sign in to view logs

Convert userprefs to a json file instead of header file which has to be included everywhere

Convert userprefs to a json file instead of header file which has to be included everywhere #6936

Triggered via pull request November 28, 2024 14:00
@thebenternthebentern
opened #5471
userprefs
Status Success
Total duration 38s
Artifacts –

sec_sast_semgrep_pull.yml

on: pull_request
semgrep-diff
28s
semgrep-diff
Fit to window
Zoom out
Zoom in