From d24ee29dd46c57380a161ea5d310bab80fd7ce60 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Thu, 25 Apr 2024 15:09:57 -0400
Subject: [PATCH 1/2] Add script task to CI(Expected failure)

---
 .ci-build.sh |  2 ++
 build.gradle | 16 ++++++++++++++++
 2 files changed, 18 insertions(+)

diff --git a/.ci-build.sh b/.ci-build.sh
index 75ebf61..d3d486f 100755
--- a/.ci-build.sh
+++ b/.ci-build.sh
@@ -11,3 +11,5 @@ export SHELLOPTS
 
 ./gradlew check
 ./gradlew test
+./gradlew testCheckScript
+./gradlew testInferenceScript
\ No newline at end of file
diff --git a/build.gradle b/build.gradle
index 75a2457..9f4632c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -112,6 +112,22 @@ task cloneAndBuildDependencies(type: Exec) {
     executable './scripts/setup-deps.sh'
 }
 
+task testCheckScript(type: Exec) {
+    description 'Runs the script that checks the tests'
+    executable './scripts/check.sh'
+    args = [
+        'tests/typecheck/topol/Wildcards.java'
+    ]
+}
+
+task testInferenceScript(type: Exec) {
+    description 'Runs the script that checks the tests'
+    executable './scripts/infer.sh'
+    args = [
+        'tests/inference/Person.java'
+    ]
+}
+
 tasks.withType(JavaCompile) { compilationTask ->
     options.compilerArgs = [
         '-implicit:class',

From a32f5584491f97ed4ff61236d988c7bedb4ef642 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Thu, 25 Apr 2024 15:11:05 -0400
Subject: [PATCH 2/2] Fix eof warning

---
 .ci-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci-build.sh b/.ci-build.sh
index d3d486f..303f912 100755
--- a/.ci-build.sh
+++ b/.ci-build.sh
@@ -12,4 +12,4 @@ export SHELLOPTS
 ./gradlew check
 ./gradlew test
 ./gradlew testCheckScript
-./gradlew testInferenceScript
\ No newline at end of file
+./gradlew testInferenceScript