Skip to content
Commit d03e69ae authored by Connor Ward's avatar Connor Ward Committed by Andreas Klöckner
Browse files

Adapt to changes to firedrake-check

parent 50f5e775