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