New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Run format check in our CI and fix repo format #205

Draft

celinval wants to merge 11 commits into model-checking:main from celinval:chores-tidy

put upstream cd back

Loading branch information

carolynzech committed Dec 13, 2024

commit fe9604ec152ae41bcb030c9fec3ff141da2481e0

scripts/check_rustc.sh

-Original file line number
+Diff line change
@@ Expand Up / @@ -96,6 +96,8 @@ else @@
     fi
     # Run tests
+    # TODO this line causes the script to fail locally, but is required for the action to run properly -- why?
+    cd "$RUST_DIR/upstream"
     echo "Running tests..."
     ./x test --stage 0 library/std
@@ Expand Down @@