diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0eb616c24d..a88ded44a9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -84,6 +84,7 @@ jobs:
             --install defcon \
             --install gadopt \
             --install asQ \
+            --package-branch fiat pbrubeck/hdivtrace-variants \
             || (cat firedrake-install.log && /bin/false)
       - name: Install test dependencies
         run: |