device-support.yml 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. name: Device Support Update
  2. on:
  3. issues:
  4. types: [opened, labeled]
  5. permissions:
  6. contents: write
  7. pull-requests: write
  8. issues: write
  9. jobs:
  10. pr:
  11. if: contains(github.event.issue.labels.*.name, 'device-support')
  12. runs-on: ubuntu-latest
  13. steps:
  14. - uses: actions/checkout@v4
  15. - name: Update table from issue
  16. run: |
  17. gh issue view ${{ github.event.issue.number }} --json body -q .body > /tmp/issue_body.txt
  18. cat /tmp/issue_body.txt
  19. python3 .github/scripts/update-supported-devices.py /tmp/issue_body.txt
  20. git diff -- docs/supported-devices.md || echo "no diff"
  21. env:
  22. GH_TOKEN: ${{ github.token }}
  23. - name: Create Pull Request
  24. uses: peter-evans/create-pull-request@v6
  25. with:
  26. token: ${{ secrets.GITHUB_TOKEN }}
  27. commit-message: "docs: add ${{ github.event.issue.title }} to supported devices"
  28. branch: device-support/issue-${{ github.event.issue.number }}
  29. title: "docs: add ${{ github.event.issue.title }} to supported devices (fixes #${{ github.event.issue.number }})"
  30. body: |
  31. Auto-generated from #${{ github.event.issue.number }}.
  32. Please review the row added to `docs/supported-devices.md` and merge if correct.
  33. Closes #${{ github.event.issue.number }}.
  34. labels: device-support
  35. delete-branch: true