From d4fa32c472e0802f9623be1a774d8058d147fc87 Mon Sep 17 00:00:00 2001 From: Pablo Brubeck Date: Wed, 16 Oct 2024 13:31:59 +0100 Subject: [PATCH] DO NOT MERGE: Test gen-quad --- .github/workflows/build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0fff428f43..dcf6ca74d3 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -83,6 +83,7 @@ jobs: --install defcon \ --install gadopt \ --install asQ \ + --package-branch fiat pbrubeck/gen-quad \ || (cat firedrake-install.log && /bin/false) - name: Install test dependencies run: |