Merge pull request #200 from peterlefanulumsdaine/fix-CI-package-deps

Added UniMath package dependencies in github workflow, to (hopefully) fix #199

Author: benediktahrens

.github/workflows/build-typetheory.yml

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