mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
This change adds a step to the GitHub CI to run the Bazel build generator script, and then check it has not made changes to any Bazel build files (ignoring the android submodule, which we do not care about). If it has, then the committer needs to run the script locally and commit & push these changes in the PR. closes https://github.com/JetBrains/intellij-community/pull/3247 GitOrigin-RevId: 00d5e8973d938fd8bb5805ae82d5b32a72f194ff