7 commits

Author	SHA1	Message	Date
Bjørn Erik Pedersen	a99716bf04	github: Add workflow_dispatch to the Docker workflow ... Closes #12753	2024-08-13 16:28:33 +02:00
Bjørn Erik Pedersen	98aa53648a	github: Simplify Docker workflow / only trigger on new tags ... See #12753	2024-08-13 16:17:56 +02:00
Bjørn Erik Pedersen	9231a7f110	github: Simplify Docker workflow ... See #12753	2024-08-13 16:16:45 +02:00
Bjørn Erik Pedersen	77304a3cd3	github: Adjust image workflow ... See #12753	2024-08-13 12:06:26 +02:00
Bjørn Erik Pedersen	0c3a1c7288	github: Turn off the image workflow for pull request ... We need to fix it so it does not publish anything to the remote repo before we can enable that.	2024-08-09 16:47:17 +02:00
Bjørn Erik Pedersen	ceed812458	github: Update image actions versions and some adjustments ... Co-authored-by: morre <morre@mor.re>	2024-08-09 16:26:22 +02:00
Morre	b08de70cca	github: Build and publish Docker image on release ... Fixes #10760	2024-08-09 16:26:22 +02:00