ci: stop update-dist reruns after generated dist pushes

crazy-max · crazy-max · commit 5a1a5cc4f8d6 · 2026-04-01T13:16:02.000+02:00
Signed-off-by: CrazyMax &lt;1951866+crazy-max@users.noreply.github.com&gt;
diff --git a/.github/workflows/update-dist.yml b/.github/workflows/update-dist.yml
@@ -15,7 +15,7 @@ on:
 
 jobs:
   update-dist:
-    if: github.event.pull_request.user.login == 'dependabot[bot]' && github.repository == github.event.pull_request.head.repo.full_name
+    if: github.actor == 'dependabot[bot]' && github.event.pull_request.user.login == 'dependabot[bot]' && github.repository == github.event.pull_request.head.repo.full_name
     runs-on: ubuntu-latest
     steps:
       -

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ on:`
`15`	`15`
`16`	`16`	`jobs:`
`17`	`17`	`update-dist:`
`18`		`- if: github.event.pull_request.user.login == 'dependabot[bot]' && github.repository == github.event.pull_request.head.repo.full_name`
	`18`	`+ if: github.actor == 'dependabot[bot]' && github.event.pull_request.user.login == 'dependabot[bot]' && github.repository == github.event.pull_request.head.repo.full_name`
`19`	`19`	`runs-on: ubuntu-latest`
`20`	`20`	`steps:`
`21`	`21`	`-`