server/server-config
3
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix again
diff-pr / dix (pull_request) Successful in 6m24s
Details
flake-check / flake-check (pull_request) Successful in 52s
Details
lint / lint (pull_request) Successful in 1m48s
Details

Browse Source
This commit is contained in:
Floweynt
2026-09-13 12:32:55 -05:00
parent 6ba18264ac
commit bc6d66432a
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/diff-pr.yml
+8 -2
View File
@@ -17,12 +17,18 @@ jobs:
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with: with:
ref: ${{ github.event.pull_request.head.sha }}
fetch-depth: 0 fetch-depth: 0
- name: worktree base for diff - name: merge base branch
run: | run: |
git config user.email "ci@localhost"
git config user.name "CI"
git fetch origin ${{ github.event.pull_request.base.ref }} git fetch origin ${{ github.event.pull_request.base.ref }}
git worktree add "$RUNNER_TEMP/base" "origin/${{ github.event.pull_request.base.ref }}" git merge --no-edit origin/${{ github.event.pull_request.base.ref }}
- name: worktree base for diff
run: git worktree add "$RUNNER_TEMP/base" "origin/${{ github.event.pull_request.base.ref }}"
- name: build closures and render diff - name: build closures and render diff
run: | run: |