Skip to content
Generate UsersPrefs JSON manifest

Convert userprefs to a json file instead of header file which has to … #5

Sign in to view logs

Convert userprefs to a json file instead of header file which has to …

Convert userprefs to a json file instead of header file which has to … #5

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generate-userprefs
17s
17s