CI failure: cp: cannot stat '/home/user/subprojects/*': No such file or directory
Job #590055 failed for 0c7e6d7b:
$ cp -r $HOME/subprojects/* subprojects/
cp: cannot stat '/home/user/subprojects/*': No such file or directory
Is this making an assumption about the CI Docker images or CI workers that is no longer true?
Possibly related to !388 (merged)?
/cc @pwithnall @xclaesse