You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
reset the timer also on non-root MPI processes#1787
Merged
sloede merged 2 commits intomaintrixi-framework/Trixi.jl:mainfrom hr/reset_timertrixi-framework/Trixi.jl:hr/reset_timerCopy head branch name to clipboardDec 24, 2023
