From b5f8610555ad384fbed6bd0ae6a22ae163287cc1 Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Tue, 17 Dec 2024 15:16:12 +0300 Subject: [PATCH] [ ci ] Make pack-dependent jobs to use bleeding edge --- .github/workflows/ci-idris2-and-libs.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml index bab5190f1a..8fe55034d5 100644 --- a/.github/workflows/ci-idris2-and-libs.yml +++ b/.github/workflows/ci-idris2-and-libs.yml @@ -636,6 +636,8 @@ jobs: echo "commit = \"latest:${GITHUB_REF_NAME}\"" echo "bootstrap = true" } > pack.toml + - name: Fetching bleeding-edge state of libraries + run: pack switch HEAD - name: Build idris2-pack run: | git config --global --add safe.directory "${PWD}" @@ -678,6 +680,8 @@ jobs: echo "commit = \"latest:${GITHUB_REF_NAME}\"" echo "bootstrap = true" } > pack.toml + - name: Fetching bleeding-edge state of libraries + run: pack switch HEAD # make sure pack is running the PR's Idris2 before building LSP - name: Build pack with PR-Idris run: |