feat: reuse CodeGraph daemon across tool calls #121
Workflow file for this run
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: CI | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| push: | |
| branches: [main] | |
| permissions: | |
| contents: read | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 | |
| with: | |
| fetch-depth: 0 | |
| persist-credentials: false | |
| - uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e | |
| with: | |
| node-version: 22 | |
| cache: npm | |
| - uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 | |
| with: | |
| python-version: "3.11" | |
| - run: npm ci --ignore-scripts | |
| - run: npm run ci | |
| - run: pip install skylos | |
| - run: skylos . -a --format json --output skylos-results.json | |
| - run: skylos . --gate | |
| - run: node scripts/update-skylos-badge.mjs skylos-results.json | |
| skylos-badge: | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| needs: test | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| steps: | |
| - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 | |
| with: | |
| fetch-depth: 0 | |
| - uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 | |
| with: | |
| python-version: "3.11" | |
| - run: pip install skylos | |
| - run: skylos . -a --format json --output skylos-results.json | |
| - run: node scripts/update-skylos-badge.mjs skylos-results.json | |
| - name: Create or update PR for Skylos badge | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: | | |
| if git diff --quiet -- .github/badges/skylos.json; then | |
| echo "Skylos badge already up to date." | |
| exit 0 | |
| fi | |
| git config user.name "github-actions[bot]" | |
| git config user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| BRANCH="chore/update-skylos-badge-$(date +%s)" | |
| git checkout -b "$BRANCH" | |
| git add .github/badges/skylos.json | |
| git commit -m "docs: update Skylos badge" | |
| git push origin "$BRANCH" | |
| gh pr create \ | |
| --title "docs: update Skylos badge" \ | |
| --body "Automated Skylos badge update." \ | |
| --base main \ | |
| --head "$BRANCH" \ | |
| --label "docs,automated" || true | |
| echo "Opened PR for Skylos badge update from branch $BRANCH" |