Bugfix: Workaround to fix / suppress non-deterministic CI problems#101

spenke91 wants to merge 1 commit intomainDLR-AMR/T8code.jl:mainfrom

ci_fixDLR-AMR/T8code.jl:ci_fixCopy head branch name to clipboard