diff options
Diffstat (limited to 'presubmit.sh')
-rwxr-xr-x | presubmit.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/presubmit.sh b/presubmit.sh deleted file mode 100755 index a551398..0000000 --- a/presubmit.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash - -set -e - -echo "Run native build:" - -make -f .ci/Makefile -j12 - -echo "Run style check:" - -./.ci/.gitlab-ci-checkcommit.sh - -echo -e "\n\e[32m --- SUCCESS ---" |