Add AI presubmit test (#68)

Author: imos

.github/workflows/ai.yml

@@ -0,0 +1,19 @@
+name: AICheck
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    timeout-minutes: 20
+    steps:
+    - uses: actions/checkout@v2
+    - name: Test
+      run: make ai-check

Makefile

@@ -29,6 +29,10 @@ submission-test: submission
 performance:
 	bash test/performance_test.sh
 
+.PHONY: ai-check
+ai-check:
+	bash test/ai_name_test.sh
+
 .PHONY: deploy-dashboard
 deploy-dashboard:
 	cd go/cmd/dashboard && unagi --bare make deploy

submission/run.sh

@@ -8,5 +8,10 @@ export JUDGE_SERVER=1
 
 source ./AI
 
-./app "${AI_FLAGS[@]}" ${EXTRA_FLAGS:-} "$@" || \
+args=(./app)
+if [ "${#AI_FLAGS[*]}" -ne 0 ]; then
+	args+=("${AI_FLAGS[@]}")
+fi
+
+"${args[@]}" ${EXTRA_FLAGS:-} "$@" || \
 	echo "ERROR: exit_code=$?"

test/ai_name_test.sh

@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+
+set -eux
+
+cd "$(dirname "${BASH_SOURCE}")/.."
+
+source ./AI
+
+if [ ! -f "src/bin/${AI_NAME}.rs" ]; then
+	echo "src/bin/${AI_NAME}.rs does not exist!"
+	exit 1
+fi
+
+args=(./app)
+if [ "${#AI_FLAGS[*]}" -ne 0 ]; then
+	args+=("${AI_FLAGS[@]}")
+fi
+
+echo "${args[@]}"