Did the Coq docker master/dev image update it's git version in the past week or something? I'm running into https://github.com/actions/checkout/issues/766, but only on docker
Was the version of git
recently updated on the docker images? I think this is also behind the recent MetaCoq CI issue
The Docker images got rebuilt recently (like less than a week ago), so if a new version of git was made available by Debian since the last rebuild, that sounds quite possible but the Docker maintainer could be more precise. @Erik Martin-Dorel @Jaime Arias
@Pierre Roux
The Docker images got rebuilt recently (like less than a week ago),
Thanks, indeed; so this rebuild led to taking the latest version of debian:11
image.
@Jason Gross
Was the version of
git
recently updated
Probably; anyway, I didn't bump the git
version manually; to check the current version:
$ docker run --pull=always --rm -it coqorg/coq:dev git --version
dev: Pulling from coqorg/coq
…
Status: Downloaded newer image for coqorg/coq:dev
git version 2.30.2
@Jason Gross Do you confirm this version is impacted? Did you test workarounds?
Jason Gross said:
Was the version of
git
recently updated on the docker images? I think this is also behind the recent MetaCoq CI issue
We solved our issue by doing a chown
call before the script starts
OK. (and IINM, you noticed the error just with coqorg/coq:dev
because in this case, coq is installed with opam pin -k git).
FTR I opened an issue in https://github.com/coq-community/docker-coq-action/issues/86
Last updated: Dec 07 2023 at 09:01 UTC