Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: clean the Docker images on GitHub (#5)
This is done once a week. Should be sufficient as we have one image per feature branch only (not per commit). Released versions are kept forever.
- Loading branch information