diff options
| author | Dario Lombardo <lomato@gmail.com> | 2021-06-28 12:18:02 +0200 |
|---|---|---|
| committer | Dario Lombardo <lomato@gmail.com> | 2021-06-28 12:53:38 +0200 |
| commit | b034473cb21ceb72ac28936ab240caa57fa4395e (patch) | |
| tree | 90e19ed90382c7066cf6a61682b0b8ea4fafb19d /.github | |
| parent | 693a02e76068de331c45df191f372ac14e6686d2 (diff) | |
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.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/windows.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |