19 Commits

Author	SHA1	Message	Date
Bernhard Ehlers	67c7b12cb1	Docker build tool renamed to docker_make ... The build tool behaves more like make, it builds only the changed images.	2023-12-15 19:51:41 +01:00
Bernhard Ehlers	8b2250b289	Docker build: Simplify definition of DOCKER_REPOSITORY	2023-10-26 21:37:01 +02:00
Bernhard Ehlers	dbc07198e3	Docker build: Update actions version	2023-09-20 13:28:17 +02:00
Bernhard Ehlers	3d842d2ff3	Docker build: better get_image_version()	2023-07-09 00:34:45 +02:00
Bernhard Ehlers	128b642464	kalilinux - rebuild when image version changes	2023-07-05 13:38:09 +02:00
grossmj	79637b7946	Enable both the DockerHub and the GitHub Container Registry for building and uploading	2023-06-19 13:00:23 +09:30
Bernhard Ehlers	7b6eac020f	Docker build: Pause on concurrent builds	2023-06-13 10:24:57 +02:00
Bernhard Ehlers	fcb790ebcd	Docker build: Support building and uploading to multiple registries	2023-06-12 15:21:45 +02:00
Bernhard Ehlers	3a5d352f1c	Docker build: Support logins to multiple registries	2023-06-06 11:12:10 +02:00
grossmj	51a487f899	Change secrets.DOCKERHUB_ORG to secrets.DOCKERHUB_REPOSITORY	2023-05-30 08:44:32 +08:00
Bernhard Ehlers	2b44d68d9e	Replace DOCKER_ACCOUNT with DOCKER_REPOSITORY and DOCKER_USERNAME	2023-05-29 18:21:24 +02:00
grossmj	4b0983fea3	Use the Docker hub org instead of user	2023-05-29 21:42:03 +08:00
grossmj	141832faf4	Push on Docker Hub	2023-05-29 20:23:27 +08:00
grossmj	70fbe6a1b9	Revert "Temporally Run build-docker-images.yml in PR" ... This reverts commit 3386ba0e08c2c3d6e76f5b40eb9f3573c9835ef8.	2023-05-29 20:21:45 +08:00
grossmj	7abc5f9c5a	Set 'packages' scope permission to write for GITHUB_TOKEN	2023-05-29 19:53:39 +08:00
grossmj	b954ae53f0	Push on ghcr.io registry	2023-05-29 17:38:05 +08:00
grossmj	3386ba0e08	Temporally Run build-docker-images.yml in PR	2023-05-29 17:31:00 +08:00
Bernhard Ehlers	257b5f154f	Docker build: Update workflow	2023-05-28 17:49:57 +02:00
grossmj	4748e168bd	Rename build.yml to build-docker-images.yml	2023-05-28 13:58:47 +08:00