From 58b84c245153c5772a4f118ca8d1fb7c1f393f4d Mon Sep 17 00:00:00 2001
From: Thibaut Valentin <thibaut.valentin@epita.fr>
Date: Sun, 29 Dec 2024 13:21:56 +0100
Subject: [PATCH] wip: ci/cd

---
 .gitea/workflows/deploy_in_prod.yml | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/.gitea/workflows/deploy_in_prod.yml b/.gitea/workflows/deploy_in_prod.yml
index 7367f7c..6d2b51f 100644
--- a/.gitea/workflows/deploy_in_prod.yml
+++ b/.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'