Skip to content

Build native ripgrep in Android workflow - #5

Merged
luojiaping merged 1 commit into
mainfrom
agent/build-native-ripgrep
Jul 12, 2026
Merged

Build native ripgrep in Android workflow#5
luojiaping merged 1 commit into
mainfrom
agent/build-native-ripgrep

Conversation

@luojiaping

Copy link
Copy Markdown
Owner

What changed

  • trigger the Android workflow when the native ripgrep crate changes
  • cache Cargo dependencies and Android release artifacts
  • cross-compile liboperit_ripgrep.so for arm64-v8a before Gradle runs
  • verify the generated library exists before continuing

Why

grep_code now loads the Rust JNI library, but the GitHub Actions workflow only restored the older jniLibs.zip. As a result, a successful APK build could omit liboperit_ripgrep.so and crash at runtime with UnsatisfiedLinkError.

Validation

  • parsed the workflow as YAML
  • passed git diff --check
  • validated the equivalent Rust/NDK cross-compile on the cloud builder and confirmed the resulting APK contains lib/arm64-v8a/liboperit_ripgrep.so

@luojiaping
luojiaping marked this pull request as ready for review July 12, 2026 19:10
@luojiaping
luojiaping merged commit fa98c25 into main Jul 12, 2026
1 check passed
@luojiaping
luojiaping deleted the agent/build-native-ripgrep branch July 13, 2026 18:59
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