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