CI: Tune GHA workflows with in-repo PR#3167

Merged

jimklimov merged 2 commits into

Nov 8, 2025

Commits on Nov 8, 2025

.github/workflows/01-make-dist.yml: add links for running a custom container inside GHA worker [#1400]
jimklimov
committed
.github/workflows/01-make-dist.yml: extend to contents:write permission for commit comments [#1400]
jimklimov
committed