Sergei Zimmerman
1e6dad7e2f
upload-release: Also push to GHCR as part of the release process
...
(cherry picked from commit a1569458cc
2026-01-01 14:45:35 +00:00
Sergei Zimmerman
d042065a6d
ci: Make docker-push workflow more configurable
...
This should allow reusing this workflow (with more tweaks)
in the releng workflow.
(cherry picked from commit c867ed6726
2025-12-28 22:39:58 +00:00
Sergei Zimmerman
a6c7082103
ci: Pin actions in docker-push reusable workflow
...
(cherry picked from commit fb05f6de0d
2025-12-28 22:39:58 +00:00
Sergei Zimmerman
6e837f6554
ci: Move docker_push_image into a separate workflow
...
Best reviewed with -w --color-moved. This just moves the code
into a separate workflow. This will allow us to reuse it in
the release job for github releng of releases.
(cherry picked from commit 745983dfc0
2025-12-28 22:39:58 +00:00
