Automatically push to Docker hub

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

73 stars 11 forks source link

Open NatKarmios opened 5 months ago

NatKarmios commented 5 months ago

We're building docker images, we might as well push them to Dockerhub - this would make it much nicer for people to try out Gillian!