Fetch the tags in the CI checkout (closes #208)

The standard checkout action clones shallow and fetches no tags, so the version the build takes from `git describe --tags --always` would be a bare commit even on a tagged commit. The checkout step now sets `fetch-depth: 0`, as REPO_POLICIES.md asks of a repo that takes its version from the tags. Model: opus-5-5
2026-10-05 02:07:32 +02:00
parent f77faf13de
commit c434581a54
2 changed files with 9 additions and 0 deletions
@@ -6,5 +6,10 @@ jobs:
        steps:
            # actions/checkout v4.2.2, 2026-02-22
            - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
+              # The default clone is shallow and has no tags, so the
+              # version the build takes from `git describe` would be a
+              # bare commit; this fetches the whole history with its tags.
+              with:
+                  fetch-depth: 0
            - run: script/cibuild
            - run: script/docker-smoke