PR #781 ci: remove SHA tag for non-dev Docker images

ci: remove SHA tag for non-dev Docker images #781

dunglas merged 2 commits into main from ci/fix-776

ci: remove SHA tag for non-dev Docker images

5637b85d

docs: Docker variants

f54cf4f1

dunglas merged a2f0eb91 into main 1 year ago

dunglas deleted the ci/fix-776 branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone