Hi, Just want to let you know that some of the CI jobs simply failed because the CI workers ran out of disk space. Some CI jobs take 4 GB, and with no remaining workdirs from CI jobs, the total disk space per slave is about 20 GB. Anyway, I've done some cleaning and this aspect should be back to normal now.
If anyone's interested, you can see remaining disk space (_if logged in_) for the CI workers at this link: https://ci.inria.fr/lyx/computer/ /Christian