From f4dfe69ae4428426983bd05779d4c7fdfa2be3c4 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Thu, 13 Jul 2023 15:56:09 +0300 Subject: [PATCH] Update CI to use fresh version of GT Signed-off-by: Kakadu --- .github/workflows/PR.yml | 4 ++++ .github/workflows/master.yml | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/.github/workflows/PR.yml b/.github/workflows/PR.yml index 8a87a6e20..e6818865f 100644 --- a/.github/workflows/PR.yml +++ b/.github/workflows/PR.yml @@ -26,6 +26,10 @@ jobs: - name: Checkout code uses: actions/checkout@v3 + + - name: Install dev version of GT + run: opam source GT --dev-repo + - name: Install dependencies for documentation run: opam install odoc pa_ppx --yes diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml index c9583d904..a2d9ef8f6 100644 --- a/.github/workflows/master.yml +++ b/.github/workflows/master.yml @@ -37,6 +37,12 @@ jobs: - name: Checkout code uses: actions/checkout@v3 + - run: opam update + - name: Install dev version of GT + run: | + opam source GT --dev-repo + opam pin add GT ./GT -y + - name: Install dependencies for documentation run: opam install odoc pa_ppx --yes