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
Make sure the CI is triggered also on closing of the PR (for merge)#155
Merged
raar1 merged 1 commit intomainGalerkinToolkit/GalerkinToolkit.jl:mainfrom make_performance_tests_run_on_PR_closeGalerkinToolkit/GalerkinToolkit.jl:make_performance_tests_run_on_PR_closeCopy head branch name to clipboardDec 6, 2024
