ci: add time of day to release versions
Versions are now v<UTC-date>T<HHMM>-<short-sha>, so multiple pushes
a day sort chronologically instead of differing only by sha.

Assisted-by: GLM-5.3 via pi
change lznokrwxmswznuvnoowonzpkvxuulmty
commit 8837ad53efcd978ff558dcaf7ed320288e495caf
author Alpha Chen <alpha@kejadlen.dev>
date
parent vtnkpyxz
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a21f6a7..398daa1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -59,9 +59,10 @@ jobs:
         with:
           persist-credentials: false
       - id: version
+        # CalVer with HH:MM so multiple pushes a day sort chronologically.
         run: |
           short_sha="${GITHUB_SHA::7}"
-          date=$(date -u +%Y-%m-%d)
+          date=$(date -u +%Y-%m-%dT%H%M)
           echo "version=${date}-${short_sha}" >> "$GITHUB_OUTPUT"
       - uses: docker/setup-buildx-action@4d04d5d9486b7bd6fa91e7baf45bbb4f8b9deedd # v4.0.0
       - uses: docker/login-action@4907a6ddec9925e35a0a9e82d7399ccc52663121 # v4.1.0
diff --git a/justfile b/justfile
index fdc7027..a362c85 100644
--- a/justfile
+++ b/justfile
@@ -87,14 +87,14 @@ install:
     cargo install --locked --path quire-server
 
 # Manual release: tag a revision (default: closest_pushable()) as
-# v<UTC-date>-<short-sha> and push to github. Use this when the normal CI path
+# v<UTC-date>T<HHMM>-<short-sha> and push to github. Use this when the normal CI path
 # is not working. Triggers the release workflow.
 # manual-release rev="@-":
 #     #!/usr/bin/env bash
 #     set -euo pipefail
 #     sha=$(jj log -r "{{rev}}" --no-graph -T commit_id --limit 1)
 #     short=${sha:0:8}
-#     date=$(TZ=UTC git show -s --format=%cd --date=format-local:%Y-%m-%d "$sha")
+#     date=$(TZ=UTC git show -s --format=%cd --date=format-local:%Y-%m-%dT%H%M "$sha")
 #     tag="v${date}-${short}"
 #     jj tag set "$tag" -r "{{rev}}"
 #     git push github "$tag"