mirror of
https://github.com/Z3Prover/z3
synced 2025-04-27 19:05:51 +00: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 |
||
|---|---|---|
| .. | ||
| ubuntu-20-04.Dockerfile | ||