diff --git a/script/ci b/script/ci index 7b3489a1b..34bf9a4be 100755 --- a/script/ci +++ b/script/ci @@ -1,6 +1,6 @@ #!/bin/bash # -# Backwards compatiblity for jenkins +# Backwards compatibility for jenkins # # TODO: remove this script after all current PRs and jenkins are updated with # the new script/test/ci change