Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Xiaomi Redmi 6 (cereus) port #1

Closed
wants to merge 10 commits into from
Closed

Xiaomi Redmi 6 (cereus) port #1

wants to merge 10 commits into from

Conversation

jerinphilip
Copy link
Owner

@jerinphilip jerinphilip commented Sep 17, 2023

Far fetched/overkill, but also a vessel to test and push GitHub CI limits (multiple users, chroots, such angles).

I'm getting borked environment locally for reasons. Using GitHub Actions clean to have a separate shareable copy of logs of a single run, and other conveniences. This CI runs in a slightly twisted way:

  1. pmbootstrap is the swiss-army-knife for PostmarketOS development. This script creates it's own workspace, and clones required repositories, one of which is pmaports. The clone comes from upstream.
  2. The PR is in my fork of pmaports, i.e, jerinphilip/pmaports. So I have some hardcode configuring the target device using pmbootstrap init here which initializes. Then the generated files are deleted. Following this, I can add this repository as an extra remote and pull this branch from the internet. (i.e, I'm not using actions/checkout, but my own).
  3. With this branch checked out, a clean build of PostmarketOS for my device happens, and since it is a clean setup, I can always rely on the logs and not have to do multiple zap and rebuild (which appears to be recommended in the channel from time to time, CI here is automation).

Patches in this branch are auto-generated from jerinphilip/android_kernel_xiaomi_mt6765#1.

.ci/cereus-configure.sh Outdated Show resolved Hide resolved
.ci/xiaomi-cereus.prompt Show resolved Hide resolved
@jerinphilip
Copy link
Owner Author

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.

None yet

2 participants