Adapt to https://github.com/rocq-prover/rocq/pull/21611 #426
background
wait
wait-all
cancel
Loading