From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Fri, 20 Feb 2026 22:00:45 +0000 (+0100)
Subject: run apt update before apt install
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2dc904aa73766d068ad79d086676642399f69a24;p=scryer-prolog.git

run apt update before apt install

https://github.com/orgs/community/discussions/145882#discussioncomment-11447924
---

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