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

Triggered via push December 3, 2024 12:17
@thebenternthebentern
pushed d00e0f6
master
Status Failure
Total duration 34s
Artifacts –

generate-userprefs.yml

on: push
generate-userprefs
17s
generate-userprefs
Fit to window
Zoom out
Zoom in

Annotations

1 error
generate-userprefs
Process completed with exit code 1.