add

succinctlabs · Dec 16, 2024 · cd20f57 · cd20f57
1 parent 648acaf
commit cd20f57
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/utils/build/src/lib.rs b/utils/build/src/lib.rs
@@ -87,8 +87,8 @@ fn build_zkvm_program(program: &str) {
         &format!("{}/{}", metadata.workspace_root.join("programs"), program),
         BuildArgs {
             elf_name: format!("{}-elf", program),
-            // docker: true,
-            // tag: "v3.0.0".to_string(),
+            docker: true,
+            tag: "v3.0.0".to_string(),
             ..Default::default()
         },
     );