summaryrefslogtreecommitdiff
path: root/util/dependency_updater/tools/repo.py
diff options
context:
space:
mode:
authorDaniel Smith <daniel.smith@qt.io>2022-05-30 11:50:44 +0200
committerDaniel Smith <Daniel.Smith@qt.io>2023-04-17 09:26:57 +0000
commit2a94e21fc970e10495db750f521ba6133ce8f017 (patch)
treeb0f1e166908f1c6d92200f68bcc254af6a17d7bf /util/dependency_updater/tools/repo.py
parentee0c74b9bde5b9f1db15f7b1f377d353343c2192 (diff)
downloadqtrepotools-2a94e21fc970e10495db750f521ba6133ce8f017.tar.gz
Update how the submodule update handles failed modules
The bot should watch for state updates of failed modules in the event they are manually integrated after having been marked as failed. This patch also introduces an additional repo status of DONE_FAILED_DEPENDENCY to better differentiate between actual failed modules, and those which were marked as failed due to bad dependencies. Change-Id: I8b949aa32cef109a51d7b53f7bc9942186034959 Reviewed-by: Daniel Smith <Daniel.Smith@qt.io>
Diffstat (limited to 'util/dependency_updater/tools/repo.py')
-rw-r--r--util/dependency_updater/tools/repo.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/util/dependency_updater/tools/repo.py b/util/dependency_updater/tools/repo.py
index 3b3c20f..1e6363c 100644
--- a/util/dependency_updater/tools/repo.py
+++ b/util/dependency_updater/tools/repo.py
@@ -22,7 +22,8 @@ class PROGRESS(IntEnum):
DONE_NO_UPDATE = 8
DONE_FAILED_NON_BLOCKING = 9
DONE_FAILED_BLOCKING = 10
- IGNORE_IS_META = 11
+ DONE_FAILED_DEPENDENCY = 11
+ IGNORE_IS_META = 12
class Repo(Namespace):
@@ -37,6 +38,7 @@ class Repo(Namespace):
proposal: Proposal = Proposal()
to_stage: list[str]
progress: PROGRESS = PROGRESS.UNSPECIFIED
+ failed_dependencies: list[str]
stage_count: int = 0
retry_count: int = 0
is_supermodule: bool = False # Bypasses dependency calculation
@@ -49,6 +51,7 @@ class Repo(Namespace):
super().__init__(**kwargs)
self.to_stage = list()
self.dep_list = list()
+ self.failed_dependencies = list()
self.id = unquote(id)
self.prefix = prefix
self.name = id.removeprefix(prefix)