fix(ci): run the Android scripts through bash and build the kernel at the tag's version

.github/workflows/android.yml

@@ -167,9 +167,12 @@ jobs:
 
       - name: Build the kernel and the page
         working-directory: android
+        env:
+          VERSION: ${{ needs.resolve.outputs.version }}
         run: |
-          ./scripts/build-kernel.sh
-          ./scripts/sync-page.sh
+          export REASONIX_APP_VERSION="${VERSION#v}"
+          bash ./scripts/build-kernel.sh
+          bash ./scripts/sync-page.sh
 
       # The one end-to-end check that needs no phone: the kernel the shell starts,
       # serving the page the APK carries. Running it here means an APK that would
@@ -178,7 +181,7 @@ jobs:
         working-directory: android
         run: |
           (cd .. && go build -o reasonix-verify ./cmd/reasonix)
-          KERNEL_BIN="$PWD/../reasonix-verify" ./scripts/verify-page.sh
+          KERNEL_BIN="$PWD/../reasonix-verify" bash ./scripts/verify-page.sh
 
       - name: Assemble
         working-directory: android

android/scripts/build-kernel.sh

@@ -47,7 +47,7 @@ app_gradle="$android/app/build.gradle"
 version_field() {
   sed -n "s/^def $1 *= *\([0-9]*\).*/\1/p" "$app_gradle" | head -n1
 }
-app_version="$(version_field versionMajor).$(version_field versionMinor).$(version_field versionPatch)"
+app_version="${REASONIX_APP_VERSION:-$(version_field versionMajor).$(version_field versionMinor).$(version_field versionPatch)}"
 build_time_utc="$(date -u +%Y-%m-%dT%H:%M:%SZ)"
 ldflags="-s -w"
 ldflags="$ldflags -X main.version=v$app_version"