From 5e6ef0b77e88c1d1af6786e7f2b47d79312e615e Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Wed, 8 Jul 2026 09:29:53 +0200 Subject: [PATCH] Add dependabot ignore for awalsh128/cache-apt-pkgs-action --- .github/dependabot.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/dependabot.yml b/.github/dependabot.yml index 7e1b7660595..18c576f3be0 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -10,4 +10,8 @@ updates: - package-ecosystem: "github-actions" directory: "/" schedule: - interval: "weekly" \ No newline at end of file + interval: "weekly" + ignore: + # Versions >1.4.3 interfere with caching done by our own CI script, + # causing the dune binary not to be found anymore. + - dependency-name: "awalsh128/cache-apt-pkgs-action"