diff --git a/ci/all.sh b/ci/all.sh new file mode 100755 index 0000000000000000000000000000000000000000..efd56b6180a6cb4e4398cce6af561871c54d0e95 --- /dev/null +++ b/ci/all.sh @@ -0,0 +1,12 @@ +#!/usr/bin/env bash +set -euo pipefail + +main() { + cd "$(dirname "$0")/.." + + ./ci/fmt.sh + ./ci/lint.sh + ./ci/test.sh +} + +main "$@"