Skip to content
Snippets Groups Projects

Update patches.

Passed
Ivan Buntic created pipeline for commit 00875fa6
, finished
Related merge request !300 to merge feature/default-discretization-local-operator
merge request
1 job 5 minutes 14 seconds, queued for 12 seconds