mirror of
https://github.com/neondatabase/neon.git
synced 2026-08-18 12:08:19 +00:00
1dff98be84
## Problem Fix build-tools image tag calculation for PRs. Broken in https://github.com/neondatabase/neon/pull/6195 ## Summary of changes - Use `pinned` tag instead of `$GITHUB_RUN_ID` if there's no changes in the dockerfile (and we don't build such image)