Skip to content
Pull Request

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

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 #5269

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Trunk Check Runner
46s
46s