From 2e070b493cc96d073b5979c1c0625b66b43aea59 Mon Sep 17 00:00:00 2001 From: ksagiyam Date: Fri, 24 Feb 2023 11:21:26 +0000 Subject: [PATCH] DROP BEFORE MERGE --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 04f377d84f..4ba5faca2a 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -48,7 +48,7 @@ jobs: - name: Build Firedrake run: | cd .. - ./firedrake/scripts/firedrake-install $COMPLEX --venv-name build --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --install femlium --no-package-manager || (cat firedrake-install.log && /bin/false) + ./firedrake/scripts/firedrake-install $COMPLEX --venv-name build --tinyasm --disable-ssh --minimal-petsc --slepc --documentation-dependencies --install thetis --install gusto --install icepack --install irksome --install femlium --no-package-manager --package-branch ufl ksagiyam/merge_upstream || (cat firedrake-install.log && /bin/false) - name: Install test dependencies run: | . ../build/bin/activate