Closed miklos1 closed 4 years ago
Pushed a firedrake branch for testing, merging if everything's fine.
Pushed a firedrake branch for testing, merging if everything's fine.
Same failures as Firedrake master, so it's probably just fine, but why do we have failures on master?
Same failures as Firedrake master, so it's probably just fine, but why do we have failures on master?
I updated petsc without checking, they introduced a bug. It's now fixed, will push it tomorrow.
This bug triggered warning when FInAT/FInAT#58.