Revert "parallel compilation of UniMath/UniMath"

This reverts commit 0846bd0.

Author: benediktahrens

.github/workflows/build-typetheory.yml

@@ -39,8 +39,7 @@ jobs:
           pwd
           git checkout master
           git show
-	  make build-coq
-	  make -j2 PACKAGES="Foundations MoreFoundations Combinatorics Algebra NumberSystems CategoryTheory Topology Ktheory PAdics" install
+          make PACKAGES="Foundations MoreFoundations Combinatorics Algebra NumberSystems CategoryTheory Topology Ktheory PAdics" install
           export PATH=$PATH:$PWD/sub/coq/bin/
           echo $PATH
           popd