2 commits

Author	SHA1	Message	Date
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
Nikolaj Bjorner	ecf41972b1	increase minor version ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-12-23 14:41:52 -08:00