Commit e8070a67 authored by Rahix's avatar Rahix 🦀
Browse files

ci: Also build release pipeline for tags

To ensure we get clean version information, update the mtime of
`.git/HEAD` before running the release pipeline.  Otherwise tags would
just end up re-using the version information from the untagged commit.
parent c52f3ff6