Skip to content
CI

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

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

GitHub Actions / Trunk Check succeeded Dec 3, 2024 in 6s

Trunk Check

Checked 13 modified files
✔ No issues

Details

To reproduce and test locally, run:
trunk check

For help resolving these issues, see our docs on running on PRs or debugging Trunk Check

View more details on GitHub Actions