We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c7a520c commit 62353f8Copy full SHA for 62353f8
src/etc/pre-push.sh
@@ -12,7 +12,7 @@ ROOT_DIR="$(git rev-parse --show-toplevel)"
12
echo "Running pre-push script $ROOT_DIR/x test tidy"
13
14
cd "$ROOT_DIR"
15
-./x test tidy --set build.locked-deps=true
+python x.py test tidy --set build.locked-deps=true
16
if [ $? -ne 0 ]; then
17
echo "You may use \`git push --no-verify\` to skip this check."
18
exit 1
tests/ui/unpretty/staged-api-invalid-path-108697.stderr
@@ -1,4 +1,4 @@
1
-error: couldn't read $DIR/lol: Nie można odnaleźć określonego pliku. (os error 2)
+error: couldn't read $DIR/lol: No such file or directory (os error 2)
2
--> $DIR/staged-api-invalid-path-108697.rs:8:1
3
|
4
LL | mod foo;
0 commit comments