Github actions: checkout won't fetch tags unless we do a full clone.

.github/workflows/build_apk.yml

@@ -9,6 +9,9 @@ jobs:
     steps:
       - name: checkout
         uses: actions/checkout@v4
+        with:
+          fetch-tags: true
+          fetch-depth: 0 #TODO See https://github.com/actions/checkout/issues/1471
 
       - uses: actions/setup-java@v4
         with:

.github/workflows/lint.yml

@@ -1,5 +1,4 @@
 name: Linting
-
 on:
   push:
   pull_request:
@@ -10,12 +9,15 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Checkout repository
+      - name: checkout
         uses: actions/checkout@v4
+        with:
+          fetch-tags: true
+          fetch-depth: 0 #TODO See https://github.com/actions/checkout/issues/1471
 
       - uses: actions/setup-java@v4
         with:
-          distribution: 'zulu'
+          distribution: 'adopt'
           java-version: '17'
 
       - run: ./gradlew lint

.github/workflows/test.yml

@@ -11,6 +11,9 @@ jobs:
     steps:
       - name: checkout
         uses: actions/checkout@v4
+        with:
+          fetch-tags: true
+          fetch-depth: 0 #TODO See https://github.com/actions/checkout/issues/1471
 
       - uses: actions/setup-java@v4
         with: