diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 8525bdeec..fb3ebc0b4 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -5,6 +5,7 @@ on: branches: - master pull_request: + workflow_dispatch: concurrency: group: esp-idf-libs-${{github.event.pull_request.number || github.ref}}