change merge workflow

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

View File

@@ -21,10 +21,15 @@ on:
types:
- closed
workflow_dispatch:
inputs:
force:
description: "Force running from workflow dispatch."
required: false
type: boolean
jobs:
if_merged:
if: github.event.pull_request.merged == true
if: github.event.pull_request.merged == true || ${{github.event.inputs.force}}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2