Merge branch 'main' into main

[pico-vscode.git] / scripts / genCache.py

diff --git a/scripts/genCache.py b/scripts/genCache.py
index b93afb0d7260442a8de2dc1da322dd36c585ac41..a341e157b7d1557d2679156d82c98457ed92c4ef 100644 (file)
--- a/scripts/genCache.py
+++ b/scripts/genCache.py
@@ -41,7 +41,7 @@ num_repos = 0
 for _ in stuff.GithubRepository:
     num_repos += 0.5
 num_repos = int(num_repos)
-assert num_repos == 4
+assert num_repos == 5
 print("Num repos", num_repos)
 
 
@@ -51,6 +51,7 @@ versions = [
     ["v3.28.6", "v3.29.6"],
     ["v1.12.1"],
     ["v1.5.1-0", "v2.0.0-0"],
+    ["2.0.0"]
 ]
 
 headers = {