From f7c638f3be6585cc71ad4a483f86e91d07c0c7d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20BUISSON?= Date: Mon, 22 Jul 2024 09:20:32 +0200 Subject: [PATCH] feat: automatically open hub-doc PR on push master --- .github/workflows/sync.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/sync.yaml b/.github/workflows/sync.yaml index 318b5e4..86a8216 100644 --- a/.github/workflows/sync.yaml +++ b/.github/workflows/sync.yaml @@ -1,6 +1,9 @@ name: 🏗️ sync on: workflow_dispatch: + push: + branches: + - master concurrency: group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}