UniMath CI takes three times longer on Coq dev than on Coq 8.19.1

[rmatthes]

Cf. https://github.com/UniMath/UniMath/actions/runs/8435960904/
Coq latest has a 10 minutes build of the satellite, while Coq dev takes 32 minutes.

[nmvdw]

I don't know what could be the reason. It is good to keep this issue open.

[rmatthes]

I look at the latest CI run of the same PR. For Coq dev, numerous files are recompiled while there are only four .vo for Coq latest. Hence 25 vs. 5 minutes.