diff options
| author | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-07-20 19:21:40 -0400 |
|---|---|---|
| committer | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-07-20 19:27:31 -0400 |
| commit | e8085aebbfa737be16cb66f81f8c3fef4856d55f (patch) | |
| tree | b360e5588688f52aee465942b6d5dec22e94df1b /ci.sh | |
| parent | c51cafecd6a64698a537b015103f42fd672d7cd9 (diff) | |
Run nightly release with version information
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,5 +1,6 @@ #!/usr/bin/env bash +VERSION="nightly-$(date -u '+%Y-%m-%d')-$(git rev-parse --short HEAD)" if [[ $1 == "CI" ]] then @@ -36,4 +37,4 @@ then fi -odin build src/ -show-timings -collection:src=src -out:ols -no-bounds-check -o:speed $@ +odin build src/ -show-timings -collection:src=src -out:ols -no-bounds-check -o:speed -define:VERSION=$VERSION $@ |