diff --git a/.github/dependabot.yml b/.github/dependabot.yml index 7e1b766059..18c576f3be 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"