diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2d192f935d..462224e84b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -70,9 +70,11 @@ jobs:
             --no-package-manager \
             --disable-ssh \
             --documentation-dependencies \
+            --tinyasm \
             --torch \
             --netgen \
             --slepc \
+            --install thetis \
             --install gusto \
             --install icepack \
             --install irksome \