New upgrade_lean action failure

Stream: general

[Patrick Massot]

@Rob Lewis the upgrade action has invented a new error:"Docker build failed with exit code 1", see for instance https://github.com/leanprover-community/sphere-eversion/runs/4136352909?check_suite_focus=true

[Alex J. Best]

https://github.com/leanprover-contrib/update-versions-action/pull/4