chore: add playright-cli skill #35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Generate Tools Documentation | |
| on: | |
| push: | |
| branches: [ main, develop ] | |
| paths: | |
| - '.opencode/agents/**' | |
| - '.opencode/skills/**' | |
| - '.opencode/commands/**' | |
| - 'scripts/generate-tools-docs.sh' | |
| concurrency: | |
| group: ci-${{ github.ref }} | |
| cancel-in-progress: false | |
| jobs: | |
| generate-docs: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Run tools documentation generation script | |
| run: bash ./scripts/generate-tools-docs.sh | |
| - name: Commit and push documentation if changed | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| git add docs/tools-reference.md | |
| if git diff --cached --quiet; then | |
| echo "Documentation unchanged, skipping commit and push" | |
| else | |
| git commit -m "docs: update tools reference documentation [skip ci]" | |
| git fetch origin | |
| git rebase origin/${{ github.ref_name }} | |
| git push origin ${{ github.ref_name }} | |
| fi | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |