infra: switch to using generic tag name and manually selecting image #2

Merged
penguin merged 4 commits from feature/switch-to-generic-runner-tag into master 2025-12-07 14:53:00 -06:00
Showing only changes of commit 0bff75601c - Show all commits

View File

@@ -20,6 +20,7 @@ jobs:
- name: Check for changes before building
id: image-changes
run: |
echo "branch_name=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}" >> $GITEA_OUTPUT
if ! git diff ${{ gitea.event.before }} ${{ gitea.sha }} --no-patch --exit-code .docker; then
echo changes_detected=true >> $GITEA_OUTPUT
else