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