Hg cc2ea94d06 ci: push container images to github registry in addition to dockerhub ... it's good to have multiple container registries, in case one decides to not be welcoming anymore to open-source projects		2023-03-16 21:30:43 +01:00
..
ci.yml	tools: github actions: fix PHP 8.0 tests	2023-01-31 14:39:30 +01:00
docker-latest.yml	ci: push container images to github registry in addition to dockerhub	2023-03-16 21:30:43 +01:00
docker-tags.yml	ci: push container images to github registry in addition to dockerhub	2023-03-16 21:30:43 +01:00