chore(nix): exclude empty submodule directories in nix-filter to reduce cache misses in Garnix CI
#41
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: Merged Blocking Pull Request Automation | |
| on: | |
| pull_request: | |
| types: | |
| - closed | |
| jobs: | |
| update-blocked-status: | |
| name: Update Blocked Status | |
| runs-on: ubuntu-latest | |
| # a pr that was a `blocking:<id>` label was merged. | |
| # find the open pr's it was blocked by and trigger a refresh of their state | |
| if: github.event.pull_request.merged == true && contains( join( github.event.pull_request.labels.*.name, ',' ), 'blocking' ) | |
| steps: | |
| - name: Generate token | |
| id: generate-token | |
| uses: actions/create-github-app-token@v2 | |
| with: | |
| app-id: ${{ vars.PULL_REQUEST_APP_ID }} | |
| private-key: ${{ secrets.PULL_REQUEST_APP_PRIVATE_KEY }} | |
| - name: Gather Dependent PRs | |
| id: gather_deps | |
| env: | |
| GH_TOKEN: ${{ steps.generate-token.outputs.token }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| run: | | |
| blocked_prs=$( | |
| gh -R ${{ github.repository }} pr list --label 'blocked' --json 'number,body' \ | |
| | jq -c --argjson pr "${{ github.event.pull_request.number }}" ' | |
| reduce ( .[] | select( | |
| .body | | |
| scan("(?:blocked (?:by|on)|stacked on):? #([0-9]+)") | | |
| map(tonumber) | | |
| any(.[]; . == $pr) | |
| )) as $i ([]; . + [$i]) | |
| ' | |
| ) | |
| { | |
| echo "deps=$blocked_prs" | |
| echo "numdeps=$(jq -r '. | length' <<< "$blocked_prs")" | |
| } >> "$GITHUB_OUTPUT" | |
| - name: Trigger Blocked PR Workflows for Dependants | |
| if: fromJSON(steps.gather_deps.outputs.numdeps) > 0 | |
| env: | |
| GH_TOKEN: ${{ steps.generate-token.outputs.token }} | |
| DEPS: ${{ steps.gather_deps.outputs.deps }} | |
| run: | | |
| while read -r pr ; do | |
| gh -R ${{ github.repository }} workflow run 'blocked-prs.yml' -r "${{ github.ref_name }}" -f pr_id="$pr" | |
| done < <(jq -c '.[].number' <<< "$DEPS") | |