update

Author: tgross35

ci/run-docker.sh

@@ -23,8 +23,7 @@ run() {
     # calling docker, otherwise docker will create them but they will be owned
     # by root.
     mkdir -p target
-    touch Cargo.lock
-    touch builtins-test-intrinsics/Cargo.toml
+    cargo generate-lockfile --manifest-path builtins-test-intrinsics/Cargo.toml
 
     run_cmd="HOME=/tmp"