From b9724c02da9e922621d586853c0f485a582fc1c8 Mon Sep 17 00:00:00 2001 From: Ruben Arts Date: Thu, 30 May 2024 11:23:24 +0200 Subject: [PATCH] ci: push to pr --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 9fe9766ec..34fbf6867 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -53,7 +53,7 @@ jobs: run: | git add docs/reference/cli.md git commit -m "docs: update CLI docs" - git push origin HEAD:${{ github.head_ref }} + git push build-docs: needs: generate-cli-docs