Restore CI Linux made useful#39729

kwankyu wants to merge 1 commit intosagemath:developsagemath/sage:developfrom

kwankyu:p/restore-cikwankyu/sage:p/restore-ciCopy head branch name to clipboard