Merge branch 'main' into more-option-stuff

This commit is contained in:
raf 2025-01-10 10:08:34 +03:00 committed by GitHub
commit dab409685d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
11 changed files with 110 additions and 14 deletions

View file

@ -49,6 +49,17 @@
flutter-tools-patched = buildPlug {
pname = "flutter-tools";
patches = [./patches/flutter-tools.patch];
# Disable failing require check hook checks
nvimSkipModule = [
"flutter-tools.devices"
"flutter-tools.dap"
"flutter-tools.runners.job_runner"
"flutter-tools.decorations"
"flutter-tools.commands"
"flutter-tools.executable"
"flutter-tools.dev_tools"
];
};
};