Fix the CI

[aerabi]

The CI is failing as the Docker images have not been successfully pushed to the registry.

• [ ] Make sure the Docker build jobs make sense.
• [ ] Fix the CI.