feat: set pr listener

This commit is contained in:
Thibaut Valentin 2025-01-02 18:17:57 +01:00
parent b50acf1585
commit 87e1c6c90a

View File

@ -1,12 +1,19 @@
name: Deploy Production Server
# Only run the workflow when a PR is merged on main and closed
on: [push]
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