TEMP: ci: point karamel to guido_dev branch

project-everest · Jan 8, 2025 · 6747ab2 · 6747ab2
1 parent a1bfde0
commit 6747ab2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -30,6 +30,6 @@
     "RepoVersions" : {
         "mitls_version" : "origin/dev",
         "pulse_version" : "origin/main",
-        "karamel_version" : "origin/master"
+        "karamel_version" : "origin/guido_dev"
     }
 }