ci: add build number in docker build GitHub workflow

Author: csm-thu

.github/workflows/build-push-webapp-server-docker-images.yml

@@ -24,6 +24,7 @@ env:
   # Change the Container Registry information below if necessary
   REGISTRY: ghcr.io
   REPOSITORY_NAME: ${{ github.repository }}
+  REACT_APP_BUILD_NUMBER: ${{ github.sha }}
   # PUBLIC_URL is only required when building the server in instance-specific mode
   #PUBLIC_URL: /cosmotech-webapp/brewery
 
@@ -79,7 +80,8 @@ jobs:
           # Target stage can be either server-universal or server-specific (default)
           target: server-universal
           # PUBLIC_URL is only required when building the server in instance-specific mode
-          #build-args: |
+          build-args: |
+            "REACT_APP_BUILD_NUMBER=${{ env.REACT_APP_BUILD_NUMBER }}"
           #  "PUBLIC_URL=${{ env.PUBLIC_URL }}"
 
       - name: "webapp-functions: extract Docker metadata (tags, labels)"