From 3c6ff5ab821d144136cb766cf15101c2979731da Mon Sep 17 00:00:00 2001 From: Sora Morimoto Date: Wed, 8 May 2024 01:37:30 +0900 Subject: [PATCH] _ Signed-off-by: Sora Morimoto --- .github/workflows/workflow.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index c4228730a..12ec8d083 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -36,7 +36,7 @@ jobs: - name: Re-install OpenSSL on macOS if: runner.os == 'macOS' - run: brew reinstall openssl@3.0 && brew link --overwrite openssl@3.0 + run: brew update && brew reinstall openssl@3 - run: opam install . --deps-only