Skip to content
Snippets Groups Projects

update petsc opts

Passed
Guillaume Demesy created pipeline for commit b2d03d24
, finished
For master
1 job 2 minutes 10 seconds, queued for 2 seconds