fix comment

Author: benediktahrens

.github/workflows/build-typetheory.yml

@@ -31,7 +31,7 @@ jobs:
         run: sudo apt-get install build-essential git ocaml ocaml-nox ocaml-native-compilers camlp5 libgtk2.0 libgtksourceview2.0 liblablgtk-extras-ocaml-dev ocaml-findlib libnum-ocaml-dev emacs
 
       # Change into UniMath directory and build UniMath
-      - name: Build UniMath
+      - name: Build UniMath and TypeTheory
         run: |
           pushd ..
           git clone --no-checkout https://github.com/UniMath/UniMath