Signed-off-by: dom <githubaccount56556@proton.me>
This commit is contained in:
dom
2026-03-05 15:22:31 +08:00
parent 9b145b525a
commit 0bcc1a7f12
10 changed files with 92 additions and 93 deletions

View File

@@ -51,25 +51,9 @@ jobs:
shell: pwsh
run: lib/scripts/build.ps1
- name: pick tooltip fix
working-directory: ${{ env.FLUTTER_ROOT }}
run: |
git config --global user.name "ci"
git config --global user.email "example@example.com"
git stash || true
git cherry-pick 56956c33ef102ac0b5fc46b62bd2dd9f50a86616 --no-edit
git reset --soft HEAD~1
git stash pop || true
continue-on-error: true
- name: apply modal barrier patch
working-directory: ${{ env.FLUTTER_ROOT }}
run: git apply $GITHUB_WORKSPACE/lib/scripts/modal_barrier_patch.diff || true
continue-on-error: true
- name: apply mouse cursor patch
working-directory: ${{ env.FLUTTER_ROOT }}
run: git apply $GITHUB_WORKSPACE/lib/scripts/mouse_cursor_patch.diff || true
- name: Apply Patch
shell: pwsh
run: lib/scripts/patch.ps1 Linux
continue-on-error: true
#TODO: deb and rpm packages need to be build