Nikolaj Bjorner ec3e296050 Update docker-image.yml (#5739) ...

* Update docker-image.yml

towards tweaking script to use ghcr

* Update docker-image.yml

* Update docker-image.yml

* Update docker-image.yml

change usr/pwd to names that are more descriptive

* Update docker-image.yml

rename back to use DOCKER prefix
it remains to bind to ghcr.io instead of docker.io

* Update ubuntu-20-04.Dockerfile

try to use ghcr instead of docker.io

* Update docker-image.yml

try with chcr token

* Update docker-image.yml

* Update docker-image.yml

* Update docker-image.yml

* Update ubuntu-20-04.Dockerfile

* Update docker-image.yml

2021-12-25 17:33:35 -08:00

..

ubuntu-20-04.Dockerfile

Update docker-image.yml (#5739)

2021-12-25 17:33:35 -08:00