I just realized that containers are not being built automatically anymore: https://hub.docker.com/orgs/g4edge. As a result the Docker images there are quite old. Did our Docker subscription get downgraded at some point? I thought we managed to get premium for free...
We should check whether we can get a Docker Hub premium subscription, it's much more convenient than building and pushing from the GitHub CI.
I just realized that containers are not being built automatically anymore: https://hub.docker.com/orgs/g4edge. As a result the Docker images there are quite old. Did our Docker subscription get downgraded at some point? I thought we managed to get premium for free...
We should check whether we can get a Docker Hub premium subscription, it's much more convenient than building and pushing from the GitHub CI.