Stream: Coq devs & plugin devs

Topic: docker dev/master change?

Jason Gross (Mar 19 2023 at 02:41):

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

Jason Gross (Mar 22 2023 at 17:31):

Was the version of git recently updated on the docker images? I think this is also behind the recent MetaCoq CI issue

Pierre Roux (Mar 22 2023 at 18:34):

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

Erik Martin-Dorel (Mar 22 2023 at 21:26):

@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?

Matthieu Sozeau (Mar 23 2023 at 11:20):

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

Erik Martin-Dorel (Mar 23 2023 at 12:30):

OK. (and IINM, you noticed the error just with coqorg/coq:dev because in this case, coq is installed with opam pin -k git).

Erik Martin-Dorel (Mar 23 2023 at 13:27):

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