From ad673911eeadc2beb27cae721880352bb32b1cd2 Mon Sep 17 00:00:00 2001 From: Andrey Popp <8mayday@gmail.com> Date: Wed, 28 Aug 2024 15:51:05 +0400 Subject: [PATCH] ci: fix melange-json pins --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index d5c8b0d..1e14338 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -42,8 +42,8 @@ jobs: # doesn't handle it - run: sudo apt-get install -qq -yy libev-dev libssl-dev pkg-config # clean build - - run: opam pin add melange-json.dev git@github.com:melange-community/melange-json.git --yes - - run: opam pin add melange-json-native.dev git@github.com:melange-community/melange-json.git --yes + - run: opam pin add melange-json.dev https://github.com/melange-community/melange-json.git --yes + - run: opam pin add melange-json-native.dev https://github.com/melange-community/melange-json.git --yes - run: opam install . --deps-only - run: opam exec -- dune build -p ppx_deriving_router # build with dream (should make ppx_deriving_router.dream available)