### Summary of Changes - Changed the Docker registry URL in the CI workflow from `gitea.example.com` to `https://gittea.kammenstraatha.duckdns.org/` to reflect the new registry location. ### Expected Results - Ensured that the CI workflow points to the correct Docker registry, facilitating successful image builds and deployments.