43 lines
1.3 KiB
YAML
43 lines
1.3 KiB
YAML
name: diff-pr
|
|
|
|
on:
|
|
pull_request:
|
|
|
|
permissions:
|
|
contents: read
|
|
pull-requests: write
|
|
|
|
concurrency:
|
|
group: diff-pr-${{ github.event.pull_request.number }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
dix:
|
|
runs-on: nix
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0
|
|
|
|
- name: worktree base for diff
|
|
run: |
|
|
git fetch origin ${{ github.event.pull_request.base.ref }}
|
|
git worktree add "$RUNNER_TEMP/base" "origin/${{ github.event.pull_request.base.ref }}"
|
|
|
|
- name: build closures and render diff
|
|
run: |
|
|
nix run -L .#ci -- diff "$RUNNER_TEMP/base" . \
|
|
"### System closure diff vs \`${{ github.event.pull_request.base.ref }}\`" \
|
|
> "$RUNNER_TEMP/comment.md"
|
|
nix run -L .#ci -- inspect-diff "$RUNNER_TEMP/base" . \
|
|
"### Inspection diff vs \`${{ github.event.pull_request.base.ref }}\`" \
|
|
>> "$RUNNER_TEMP/comment.md"
|
|
|
|
- name: post/update PR comment
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
API: ${{ github.api_url }}
|
|
REPO: ${{ github.repository }}
|
|
PR: ${{ github.event.pull_request.number }}
|
|
run: nix run -L .#ci -- post-comment "<!-- dix-diff -->" "$RUNNER_TEMP/comment.md"
|