[ ci ] build CW2 (#5)

* [ ci ] build CW2

* [ fix ] syntax & comment

* [ fix ] job name

* [ ci ] do not compile holey file

Author: gallais

.github/workflows/ci-ubuntu.yml

@@ -4,7 +4,7 @@ on:
     branches:
 jobs:
   courseworks:
-    name: Check 0-Install.agda
+    name: Check courseworks
     runs-on: ubuntu-latest # or macOS-latest, or windows-latest
     steps:
       - uses: actions/checkout@v4
@@ -30,4 +30,8 @@ jobs:
 
       # Check 1-Circuits.agda
       - run: make
-        working-directory: courseworks/1-Circuits
+        working-directory: courseworks/1-Circuits
+
+      # Check 2-Genetic.agda
+      - run: make ci
+        working-directory: courseworks/2-Genetic

courseworks/2-Genetic/Makefile

@@ -4,3 +4,6 @@ all:
 
 clean:
 	rm -rf MAlonzo
+
+ci:
+	agda 2-Genetic.agda; true