Re-enable thetis and tinyASM to test the branches

firedrakeproject · May 13, 2024 · 511ba72 · 511ba72
1 parent 66c1cdf
commit 511ba72
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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 \