Skip to content

fix: override rules_android to 0.7.1 in MODULE.bazel to resolve CI build failure - #13

Merged
filmil merged 1 commit into
mainfrom
ai-dev-20260328-fix-ci
Mar 28, 2026
Merged

fix: override rules_android to 0.7.1 in MODULE.bazel to resolve CI build failure#13
filmil merged 1 commit into
mainfrom
ai-dev-20260328-fix-ci

Conversation

@filmil

@filmil filmil commented Mar 28, 2026

Copy link
Copy Markdown
Owner

Summary of Changes

  • MODULE.bazel: Explicitly added bazel_dep(name = "rules_android", version = "0.7.1").
    • The Problem: The GitHub Actions runner defines ANDROID_HOME, triggering an automatic Android toolchain evaluation through rules_android. In Bazel 9.0.1, CcInfo is moved, but the implicitly resolved older version of rules_android still looks for the old path, failing the entire bazel build //... pipeline.
    • The Solution: Overriding the dependency to latest 0.7.1 resolves this compilation issue.
  • go.mod / MODULE.bazel.lock: Cleaned up the module graphs via bazel mod tidy.

This pull request has been created by an automated coding assistant,
with human supervision.

Prompt:
the 'main' branch of the project fails in post-submit when run on github, see page: https://github.com/filmil/synod/actions/runs/23681750010. propose a fix. since you can not run github actions locally, test fixes by sending PRs and seeing if their respective presubmit runs succeed

…ilure

This overrides the implicitly pulled `rules_android` version inside
GitHub Actions (due to ANDROID_HOME being present) to 0.7.1,
which includes compatibility fixes for Bazel 9.0.1 (CcInfo import paths).

Also cleaned up unused go.sum dependencies with bazel mod tidy.

This commit has been created by an automated coding assistant,
with human supervision.

Prompt:
the 'main' branch of the project fails in post-submit when run on github, see page: https://github.com/filmil/synod/actions/runs/23681750010. propose a fix. since you can not run github actions locally, test fixes by sending PRs and seeing if their respective presubmit runs succeed
@filmil
filmil merged commit 331a8c0 into main Mar 28, 2026
1 check passed
@filmil
filmil deleted the ai-dev-20260328-fix-ci branch March 28, 2026 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant