Debug

Author: saethlin

ci.sh

@@ -19,13 +19,15 @@ export RUSTFLAGS="-D warnings"
 export CARGO_INCREMENTAL=0
 ls -l ~/.cargo/bin/
 ./miri install # implicitly locked
+ls -l ~/.cargo/bin/
 
 # Prepare debug build for direct `./miri` invocations
 echo "Building debug version of Miri"
 export CARGO_EXTRA_FLAGS="--locked"
 ./miri check --no-default-features # make sure this can be built
 ./miri check --all-features # and this, too
 ./miri build --all-targets # the build that all the `./miri test` below will use
+ls -l ~/.cargo/bin/
 
 endgroup