Closed masterleinad closed 4 years ago
Why is this a separate PR? Why not merge it as part of #577?
If we want to discuss about using the Dockerfile or updating Trilinos, I would rather do it here to keep things separate. I don't feel strongly either way.
Yeah, OK, maybe switching to building Docker image wasn't the brightest idea. With additional Trilinos packages enabled it takes close to an hour.
We need a few more packages for #577. Also use Trilinos 13 for testing.