Build a docker image with guix and push to ghcr.io

Build

Build a docker image with

image=$(guix time-machine --channels=channels.scm -- \
             pack -f docker \
             -S /bin=bin \
             --save-provenance \
             -m manifest.scm)

Load image to the store

docker load < $image

Check contents

docker images

Push

Tag image

docker tag IMID ghcr.io/csantosb/hdl:RELEASE

Login to ghcr.io

docker login -u csantosb -p PASSWORD ghcr.io

Push remotely

docker push ghcr.io/csantosb/hdl:RELEASE

Test

Using neorv32

docker pull ghcr.io/csantosb/hdl
docker run -ti ID bash
git clone --depth=1 https://github.com/stnolting/neorv32
cd neorv32
git clone --depth=1 https://github.com/stnolting/neorv32-vunit test
cd test
rm -rf neorv32
ln -sf ../../neorv32 neorv32
python3 sim/run.py --ci-mode -v

creds

-----BEGIN PGP MESSAGE-----

hE4DfhtVyiTNLRISAQdAgP0C9zoFhtZJBtcSU/uxlX+yfDqR//lu8YCHQBcG6Xcg oRgM8KCM4xg8aaHFXWkR9UGwylDQvjv9h7sFyZBqZfXSiAGRcd/W0Tg0UgYg8Qm+ wxGWjQybYP0zK21kCkhAibAAxDR2Weghnd32TLQZoJ9R0XlSLhigdjGFUgchmWOA 4dj7ntgCftOEnz3MG57EMBBDLDXP7/Kw2z9aJeGKKxZpLR1hVbCoIrMvRp5cfbYp GKTcJFOUGXpfS30GWVzPvUsBbArARa9zWQY= =CKbV -----END PGP MESSAGE-----