diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3ebaf58634755c7c933ae8ff007840811455fc51..d53214076cf213cec8ce982b45fc18c92383585c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -158,9 +158,6 @@ jobs: cd /home/firedrake/firedrake/src/firedrake - # https://github.com/OP2/PyOP2/pull/627 - (cd ../PyOP2 && git pull https://github.com/OP2/PyOP2.git e56d26f219e962cf9423fc84406a8a0656eb364f) - # patch so exception messages get shown curl -L https://gist.githubusercontent.com/inducer/17d7134ace215f0df1f3627eac4195c7/raw/63edfaf2ec8bf06987896569a4f24264df490e9e/firedrake-debug-patch.diff | patch -p1