(TEMP) use Karamel branch taramana_output_types_modules

project-everest · Feb 3, 2023 · a417100 · a417100
1 parent c0621a5
commit a417100
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",
         "hacl_version" : "origin/main",
-        "karamel_version" : "origin/master"
+        "karamel_version" : "origin/protz_microsoft_type_names"
     }
 }