[ ci ] do not compile holey file

gallais · gallais · commit 1d5e25c406c1 · 2025-02-18T15:44:36.000Z
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -33,5 +33,5 @@ jobs:
         working-directory: courseworks/1-Circuits
 
       # Check 2-Genetic.agda
-      - run: agda -c 2-Genetic.agda; true
+      - run: make ci
         working-directory: courseworks/2-Genetic
diff --git a/courseworks/2-Genetic/Makefile b/courseworks/2-Genetic/Makefile
@@ -4,3 +4,6 @@ all:
 
 clean:
 	rm -rf MAlonzo
+
+ci:
+	agda 2-Genetic.agda; true
