Verbessere Details im Mehrgitter-Konvergenzsatz
Passed
Sander, Oliver
created pipeline for commit
9e15866e
, finished
For master
3 minutes 24 seconds, queued for 3 seconds