Don't pull $COQ_IMAGE if it exists locally

[erikmd]

Close #80

[JasonGross]

This seems to break with

  Error: No such image: coqorg/coq:dev-ocaml-default
  
  Error response from daemon: manifest for coqorg/coq:dev-ocaml-default not found: manifest unknown: manifest unknown

See https://github.com/mit-plv/fiat-crypto/actions/runs/3517325936/jobs/5894966269 and mit-plv/fiat-crypto#1517

[erikmd]

@JasonGross sorry, my bad… I had added this feature on top on a too-old master branch 😅 so I just rebased;
could you please rerun your test PR?
Thanks again 👍👍

[JasonGross]

Seems to build, at least: https://github.com/mit-plv/fiat-crypto/actions/runs/3517325936/jobs/5901070228

[erikmd]

OK @JasonGross; unfortunately your run did not went through the second docker-coq-action call.

Do you want that I wait for a second test of yours?

or do you prefer that I just add a more thorough test (beyond the one below) then do a release?

docker-coq-action/.github/workflows/python-demo.yml

Lines 81 to 84 in 1e4f934

	entrypoint: /bin/sh
	# see also https://github.com/coq-community/docker-coq-action/issues/80#issuecomment-1321272915
	# args: -c "/bin/echo \"${{ secrets.GITHUB_TOKEN }}\" | docker login ${{ env.REGISTRY }} -u ${{ github.actor }} --password-stdin && exec /app/entrypoint.sh \"$@\"" sh
	args: -c "docker pull ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ env.IMAGE_TAG }} && exec /app/entrypoint.sh \"$@\"" sh

→ https://github.com/coq-community/docker-coq-action/actions/runs/3518557133/jobs/5897601262#step:3:299

[erikmd]

OK @JasonGross so I pushed a more thorough test, and everything looks good to go:

https://github.com/coq-community/docker-coq-action/actions/runs/3536674876/jobs/5935937276#step:5:208

So let's release 1.4.1 now…