ray/ci/lint/pre-push
Kai Fricke 65d9a410f7
[ci] Clean up ci/ directory (refactor ci/travis) (#23866)
Clean up the ci/ directory. This means getting rid of the travis/ path completely and moving the files into sensible subdirectories.

Details:

- Moves everything under ci/travis into subdirectories, e.g. ci/build, ci/lint, etc.
- Minor adjustments to some scripts (variable renames)
- Removes the outdated (unused) asan tests
2022-04-13 18:11:30 +01:00

18 lines
399 B
Bash
Executable file

#!/bin/sh
echo "Linting changes as part of pre-push hook"
echo ""
echo "ci/lint/format.sh:"
ci/lint/format.sh
lint_exit_status=$?
if [ $lint_exit_status -ne 0 ]; then
echo ""
echo "Linting changes failed."
echo "Please make sure 'ci/lint/format.sh'"\
"runs with no errors before pushing."
echo "If you want to ignore this and push anyways,"\
"re-run with '--no-verify'."
exit 1
fi
exit 0