shut up petsc
Passed
Christophe Geuzaine
created pipeline for commit
cf4240ce
, finished
1 related merge request: !64 shut up petsc
1 minute 33 seconds, queued for 3 seconds