allow running pr merge workflow

This commit is contained in:
Ludovico Magnocavallo
2022-07-30 19:08:08 +02:00
parent a2b87b4560
commit 79253f3ec2

View File

@@ -20,6 +20,7 @@ on:
- master
types:
- closed
workflow_dispatch:
jobs:
if_merged: