Skip to content

Commit

Permalink
minor fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@utaal
utaal committed Aug 20, 2024
1 parent 02c4478 commit 6e9f968
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion setup/perf-build-verus.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
cd /mydata
git clone https://github.com/verus-lang/verus.git

docker run --platform=linux/amd64 --rm -it -v .:/root/eval -w /root/eval ghcr.io/utaal/ubuntu-essentials-rust-1.76.0 /bin/bash setup/perf-build-verus-in-container.sh
docker run --platform=linux/amd64 --rm -it -v .:/root/eval -w /root/eval ghcr.io/utaal/ubuntu-essentials-rust-1.76.0 /bin/bash verus-sosp24-artifact/setup/perf-build-verus-in-container.sh

0 comments on commit 6e9f968

Please sign in to comment.