From b034473cb21ceb72ac28936ab240caa57fa4395e Mon Sep 17 00:00:00 2001 From: Dario Lombardo Date: Mon, 28 Jun 2021 12:18:02 +0200 Subject: [PATCH] github: update windows action. The target user_guide_chm has been replaced by user_guide_html in 6bfab69d14, but the action hasn't been updated accordingly. --- .github/workflows/windows.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index ec0cf460a5..ee5be2662a 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -39,7 +39,7 @@ jobs: run: cmake --build . --config RelWithDebInfo working-directory: build - name: Build guides - run: cmake --build . --config RelWithDebInfo --target user_guide_chm + run: cmake --build . --config RelWithDebInfo --target user_guide_html working-directory: build - name: Build test-programs run: cmake --build . --config RelWithDebInfo --target test-programs