mirror of
https://github.com/AdaCore/z3.git
synced 2026-02-12 12:40:40 -08:00
ec3e296050
* 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