From d41f156b80d08c7a6344f278587de9203a7cdfe7 Mon Sep 17 00:00:00 2001 From: St0rmz1 Date: Fri, 21 Nov 2025 09:06:10 -0800 Subject: [PATCH 1/3] Automate docs PR creation in release workflow --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 225495de3..a3f3dd558 100644 --- a/Makefile +++ b/Makefile @@ -98,6 +98,13 @@ release: --version $(version) \ --github-token env:GITHUB_TOKEN \ --progress plain + @echo "" + @echo "✓ Release completed successfully" + @echo "Waiting 15 seconds for GitHub to process release tag..." + @sleep 15 + @echo "Generating documentation PR..." + @$(MAKE) docs || (echo "⚠️ WARNING: Docs generation failed. Please run 'make docs' manually." && exit 0) + @echo "✓ Documentation PR created successfully" .PHONY: docs docs: From 66720f313c23ca01b26648c73dd67868d4d60edd Mon Sep 17 00:00:00 2001 From: St0rmz1 Date: Fri, 21 Nov 2025 09:11:54 -0800 Subject: [PATCH 2/3] remove the delay --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index a3f3dd558..af41adf43 100644 --- a/Makefile +++ b/Makefile @@ -100,8 +100,6 @@ release: --progress plain @echo "" @echo "✓ Release completed successfully" - @echo "Waiting 15 seconds for GitHub to process release tag..." - @sleep 15 @echo "Generating documentation PR..." @$(MAKE) docs || (echo "⚠️ WARNING: Docs generation failed. Please run 'make docs' manually." && exit 0) @echo "✓ Documentation PR created successfully" From b05177ac8ef465fc6ced0c4476365f201929046e Mon Sep 17 00:00:00 2001 From: St0rmz1 Date: Fri, 21 Nov 2025 09:27:37 -0800 Subject: [PATCH 3/3] remove delay. don't mask errors from make docs --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index af41adf43..c77db3ddc 100644 --- a/Makefile +++ b/Makefile @@ -101,8 +101,7 @@ release: @echo "" @echo "✓ Release completed successfully" @echo "Generating documentation PR..." - @$(MAKE) docs || (echo "⚠️ WARNING: Docs generation failed. Please run 'make docs' manually." && exit 0) - @echo "✓ Documentation PR created successfully" + @$(MAKE) docs .PHONY: docs docs: