update: ci/cd

.gitea/workflows/deploy_in_prod.yml

@@ -0,0 +1,41 @@
+name: Deploy Production Server
+
+# Only run the workflow when a PR is merged on main and closed
+on:
+  pull_request:
+    types:
+      - closed
+    branches:
+      - 'master'
+
+# Here we check that the PR was correctly merged to main
+jobs:
+  if_merged:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set up JDK 17
+        uses: actions/setup-java@v4
+        with:
+          java-version: '17'
+          distribution: 'graalvm'
+          cache: 'maven'
+
+      - name: Build site
+        run: |
+          cp vite.env src/main/webapp/.env
+          cd src/main/webapp
+          npm install
+          npm run build
+          cd ../../..
+          rm -rf src/main/resources/META-INF/resources
+          mkdir -p src/main/resources/META-INF/
+          mv dist src/main/resources/META-INF/resources
+
+      - name: Build application
+        run: |
+          cp ../vite.env src/main/webapp/.env
+          chmod 740 mvnw
+          ./mvnw package -Pnative -DskipTests