<div id="comment:0"></div> As reported on sage-devel, https://groups.google.com/g/sage-devel/c/CeOgqoAt4I8, `docker run -it sagemath/sagemath-dev:develop` performs a full recompilation of sage. CC: @videlec Component: **docker** _Issue created by migration from https://trac.sagemath.org/ticket/34241_