ci(device): also run when a PR is retargeted

build.yml runs on the edited event; the device workflow now does too,
but only when the edit changed the base branch — that's what changes the
merge result (routine in a PR stack), while title and body edits would
just spend device minutes.

Author: YousefED

.github/workflows/device-tests.yml

@@ -9,7 +9,7 @@ on:
     branches:
       - main
   pull_request:
-    types: [opened, synchronize, reopened]
+    types: [opened, synchronize, reopened, edited]
   workflow_dispatch:
     inputs:
       device_filter:
@@ -28,6 +28,10 @@ permissions:
 
 jobs:
   device-tests:
+    # `edited` fires for title/body/base changes alike; only a base retarget
+    # changes the merge result (routine in a PR stack), so title and body
+    # edits don't spend device minutes.
+    if: github.event.action != 'edited' || github.event.changes.base != null
     runs-on: ubuntu-latest
     timeout-minutes: 45
     steps: