From 497b10ffa99931444ac928c8e2c703336096cd73 Mon Sep 17 00:00:00 2001
From: Maarten Zuidhoorn <maarten@zuidhoorn.com>
Date: Fri, 10 Jan 2025 11:37:17 +0100
Subject: [PATCH] Don't rerun workflows for Dependabot (#3004)

Seems like GitHub is struggling with all the Dependabot PRs right now,
so we should at least temporarily disable rerunning failed workflows for
Dependabot.
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 86538e5ba5..f873494c4d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -96,7 +96,7 @@ jobs:
   re-run:
     name: Re-run failed jobs
     needs: lint-build-test
-    if: failure() && fromJSON(github.run_attempt) < 3
+    if: failure() && fromJSON(github.run_attempt) < 3 && github.event.pull_request.user.login != 'dependabot[bot]'
     runs-on: ubuntu-latest
     permissions:
       actions: write