Bernhard Frauendienst dac0710c88 Add GitHub Action for Docker images ... Add a GitHub Action that builds a docker image on every push and tag, and publishes it to GitHub container repository, and -- if a docker username is defined in the repository secrets -- to the Docker Hub.		2025-03-17 21:01:40 +01:00
..
ISSUE_TEMPLATE	Update issue template config.yml to direct frontend issues to frontend repos (#4486)	2024-08-19 13:41:30 -04:00
workflows	Add GitHub Action for Docker images	2025-03-17 21:01:40 +01:00