name: Generate UsersPrefs JSON manifest on: push: paths: - userPrefs.h branches: - master jobs: generate-userprefs: runs-on: ubuntu-latest steps: - name: Checkout code uses: actions/checkout@v4 - name: Install Clang run: sudo apt-get install -y clang - name: Install trunk run: curl https://get.trunk.io -fsSL | bash - name: Generate userPrefs.jsom run: python3 ./bin/build-userprefs-json.py - name: Trunk format json run: trunk format userPrefs.json - name: Commit userPrefs.json run: | git config --global user.email "actions@github.com" git config --global user.name "GitHub Actions" git add userPrefs.json git commit -m "Update userPrefs.json" git push