It seems the official repository has been inactive for years, and we're having caching issues. https://github.com/microsoft/codeql-container/issues/59