From 8821c636939a302d1c5bcd12a5f5b20c3927966c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Fri, 20 Sep 2024 18:15:10 +0200 Subject: [PATCH] WIP --- .github/workflows/build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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