From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Fri, 20 Feb 2026 21:57:44 +0000 (+0100)
Subject: fix warning in CI about using apt in a script
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0ceab41b3909969d49ee4e84036e7b6e26d5f85a;p=scryer-prolog.git

fix warning in CI about using apt in a script
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f8c83118..7ef910e2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -180,7 +180,7 @@ jobs:
           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
+          sudo apt-get install valgrind -y
 
       - name: Test and report
         run: |