Skip to content

Commit 7a1d80e

Browse files
committed
DROP BEFORE MERGE
1 parent 247552e commit 7a1d80e

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/core.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -205,6 +205,7 @@ jobs:
205205
--extra-index-url https://download.pytorch.org/whl/cpu \
206206
"$(echo ./firedrake-repo/dist/firedrake-*.tar.gz)[ci,docs]"
207207
208+
pip install -I "firedrake-fiat @ git+https://github.com/firedrakeproject/fiat.git@pbrubeck/trace"
208209
firedrake-clean
209210
pip list
210211

0 commit comments

Comments
 (0)