There was an error while loading. Please reload this page.
1 parent 8cb30c7 commit 28c3d4aCopy full SHA for 28c3d4a
1 file changed
.github/dependabot.yml
@@ -10,4 +10,8 @@ updates:
10
- package-ecosystem: "github-actions"
11
directory: "/"
12
schedule:
13
- interval: "weekly"
+ interval: "weekly"
14
+ ignore:
15
+ # Versions >1.4.3 interfere with caching done by our own CI script,
16
+ # causing the dune binary not to be found anymore.
17
+ - dependency-name: "awalsh128/cache-apt-pkgs-action"
0 commit comments