From: Aman Verma <amanraoverma@gmail.com>
Date: Mon, 31 Mar 2025 09:03:31 +0000 (-0500)
Subject: Install correct locked version of iai-callgrind-runner in CI.
X-Git-Tag: v0.10.0~61^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7b6f4439bb6c421873fab9941cb7eb6a069d581c;p=scryer-prolog.git

Install correct locked version of iai-callgrind-runner in CI.
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8e4f447d..ab63d3af 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -153,7 +153,7 @@ jobs:
       - name: Install CLI tools
         run: |
           cargo install cargo2junit --force
-          version=`yq -ptoml -oy -r '.target.*.dev-dependencies.iai-callgrind|select(.)' Cargo.toml`
+          version=`yq -ptoml -oj -r '.package[] | select(.name == "iai-callgrind") | .version' Cargo.lock`
           echo installing iai-callgrind "$version"
           cargo install iai-callgrind-runner --force --version "$version"
           sudo apt install valgrind -y