Make PETSc optional #3123
Merged
Make PETSc optional #3123
CircleCI Checks / build
succeeded
Apr 15, 2024 in 33m 58s
Workflow: build
- build-real - Success
- build-complex - Success
Loading