wip: ci/cd

.gitea/workflows/deploy_in_prod.yml

@@ -1,17 +1,11 @@
 name: Deploy Production Server
 
 # Only run the workflow when a PR is merged on main and closed
-on:
-  pull_request:
-    types:
-      - closed
-    branches:
-      - 'master'
+on: [push]
 
 # 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
@@ -19,7 +13,7 @@ jobs:
       - name: Set up JDK 17
         uses: actions/setup-java@v4
         with:
-          java-version: '17'
+          java-version: '17.0.12'
           distribution: 'graalvm'
           cache: 'maven'