chore: remove VERSION file (#4321)

This commit is contained in:
Georg Lauterbach 2025-01-19 01:27:07 +01:00 committed by GitHub
parent 3ebca5daba
commit f0daa1c8ab
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 3 additions and 7 deletions

View file

@ -32,7 +32,7 @@ jobs:
with:
submodules: recursive
# Can potentially be replaced by: `${{ hashFiles('target/**', 'Dockerfile', 'VERSION') }}`
# Can potentially be replaced by: `${{ hashFiles('target/**', 'Dockerfile') }}`
# Must not be affected by file metadata changes and have a consistent sort order:
# https://docs.github.com/en/actions/learn-github-actions/expressions#hashfiles
# Keying by the relevant build context is more re-usable than a commit SHA.
@ -40,10 +40,7 @@ jobs:
id: derive-image-cache-key
shell: bash
run: |
ADDITIONAL_FILES=(
'Dockerfile'
'VERSION'
)
ADDITIONAL_FILES=( 'Dockerfile' )
# Recursively collect file paths from `target/` and pipe a list of
# checksums to be sorted (by hash value) and finally generate a checksum