From a47c2fda76dc192987ba5c6018257384a671f565 Mon Sep 17 00:00:00 2001 From: Pablo Brubeck Date: Thu, 24 Oct 2024 15:11:41 +0100 Subject: [PATCH] DO NOT MERGE --- .github/workflows/build.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0fff428f43..de2170690d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -83,6 +83,8 @@ jobs: --install defcon \ --install gadopt \ --install asQ \ + --package-branch fiat pbrubeck/h1curl \ + --package-branch finat pbrubeck/hhj \ || (cat firedrake-install.log && /bin/false) - name: Install test dependencies run: |