update release workflow: make bump type optional and enhance Docker setup steps #4

Merged
WorldTeacher merged 2 commits from dev into main 2025-09-28 10:31:11 +01:00

2 Commits