diff --git a/bot/check-result.sh b/bot/check-result.sh new file mode 120000 index 0000000000..02f753db50 --- /dev/null +++ b/bot/check-result.sh @@ -0,0 +1 @@ +check-build.sh \ No newline at end of file