Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Last change in main now create the docker ci image in `ghcr.io`. As the repository in docker hub has been removed, we need to update here.
- Loading branch information