From 5c2fc98ebe22c8ed13f5a3e50db03049ec129733 Mon Sep 17 00:00:00 2001 From: Romain Marcadier Date: Fri, 5 Jul 2024 12:22:20 +0200 Subject: [PATCH] chore: publish documentation site on all pushes --- .github/workflows/docsite.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/docsite.yml b/.github/workflows/docsite.yml index 795bbcab..d12678fd 100644 --- a/.github/workflows/docsite.yml +++ b/.github/workflows/docsite.yml @@ -7,7 +7,6 @@ on: branches: ['main'] push: branches: [main] - paths: [docs/**] concurrency: group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.event.pull_request.number || github.ref }}