ci: push :edge when VERSION is updated (#3662)

Previously, we did not run the workflow on push on `master` when a
release happened because the push on master is guarded by a check on
which files were changed.

With this change, I added `VERSION` to the list of files to consider
when updating `:edge`.
This commit is contained in:
Georg Lauterbach 2023-11-26 21:44:47 +01:00 committed by GitHub
parent 2c60229913
commit 68a43eb497
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,6 +11,7 @@ on:
- .gitmodules
- Dockerfile
- setup.sh
- VERSION # also update :edge when a release happens
tags:
- '*.*.*'