Now that https://github.com/festim-dev/FESTIM/pull/753 has been merged in `fenicsx`, we should be able to update the version of festim to a recent commit of `fenicsx`.
Now that festim-dev/FESTIM#753 has been merged in
fenicsx, we should be able to update the version of festim to a recent commit offenicsx.