diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 89dccc82..3579ba8e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -43,8 +43,8 @@ jobs: - name: Update Openssh if: runner.os == 'Windows' run: | - setup-x86_64 -v -x libssl1 - setup-x86_64 -v -package "libssl-devel,libssl3" + setup-x86_64 -x libssl1 + setup-x86_64 -package "libssl-devel,libssl3" - run: opam pin add ocsigen-start.7.0.0 . --no-action