Use a version-like tag name for correct release ordering

Author: eregon

Diff for: .github/workflows/build.yml

@@ -18,7 +18,7 @@ jobs:
       id: create_tag
       run: |
         if [[ "${{ github.event_name }}" == "schedule" ]]; then
-          tag=builds-$(date +%Y%m%d-%H%M%S)
+          tag=v$(date +%Y%m%d.%H%M%S)
         else
           tag=$(basename "${{ github.ref }}")
         fi

Diff for: trigger.sh

@@ -1,4 +1,4 @@
 #!/bin/sh
-tag=builds-$(date +%Y%m%d-%H%M%S)
+tag=v$(date +%Y%m%d.%H%M%S)
 git tag "$tag"
 git push origin "$tag"