bump version in restore script

betrusted-io · Dec 25, 2023 · 22cd08d · 22cd08d
1 parent 2b521a7
commit 22cd08d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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.15/',
                 'https://ci.betrusted.io/releases/v0.9.14/',
                 'https://ci.betrusted.io/releases/v0.9.13/',
                 'https://ci.betrusted.io/releases/v0.9.12/',