From 874bb655df87d1426a8f48dae79485ea6f83d2cd Mon Sep 17 00:00:00 2001 From: bunnie Date: Sun, 7 May 2023 23:12:41 +0800 Subject: [PATCH] add latest release to the restore script --- tools/restore.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/restore.py b/tools/restore.py index 0ce6df9f7..01a2a5651 100644 --- a/tools/restore.py +++ b/tools/restore.py @@ -657,6 +657,7 @@ def main(): # now try to download all the artifacts and check their versions # this list should visit kernels in order from newest to oldest. URL_LIST = [ + 'https://ci.betrusted.io/releases/v0.9.13/', 'https://ci.betrusted.io/releases/v0.9.12/', 'https://ci.betrusted.io/releases/v0.9.11/', 'https://ci.betrusted.io/releases/v0.9.10/',