Nicholas Bruce opened merge request !4: Add dockerfile and a build stage to gitlab-ci at Johan Forsberg / Boogie

Nicholas Bruce
2026-02-10T04:06:16Z

I use boogie but always from a container by doing something like

docker run --rm -it -e TANGO_HOST=myurl:10000 boogie:latest

With these changes, whenever a new commit is pushed to gitlab, a container is built with the new code inside it, and it's pushed to the repo. See the container registry on the fork as an example.

Users will be able to run boogie without installing dependencies or building with pip by doing:

docker run -it -e TANGO_HOST=myurl:10000 registry.gitlab.com/nurbldoff/boogie:latest