Adapt to https://github.com/math-comp/math-comp/pull/1545 #154
background
wait
wait-all
cancel
Loading