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

Split the build. #219

Merged
merged 6 commits into from
Oct 21, 2024
Merged

Split the build. #219

merged 6 commits into from
Oct 21, 2024

Conversation

jonathanpallant
Copy link
Member

@jonathanpallant jonathanpallant commented Oct 18, 2024

Now the examples has a job, and building the examples in Ferrocene has a job.

This means third-parties who submit PRs can still pass most of the tests.

Copy link

cloudflare-workers-and-pages bot commented Oct 18, 2024

Deploying ferrous-systems-rust-training with  Cloudflare Pages  Cloudflare Pages

Latest commit: b841a33
Status: ✅  Deploy successful!
Preview URL: https://a18637d9.ferrous-systems-rust-training.pages.dev
Branch Preview URL: https://split-build.ferrous-systems-rust-training.pages.dev

View logs

Now the examples has a job, and building the examples in Ferrocene has a job.
The QEMU examples need it because they objdump their binaries.
Because the build outputs for examples don't go into the release area.
@jonathanpallant
Copy link
Member Author

Rebased

@miguelraz
Copy link
Contributor

miguelraz commented Oct 18, 2024

I'm happy to see that all but the build job finished in under a minute.

How can I know if these changes lead to a hanging job besides the wall time?

miguelraz
miguelraz previously approved these changes Oct 18, 2024
@miguelraz miguelraz dismissed their stale review October 18, 2024 14:27

potentially hanging job

@jonathanpallant
Copy link
Member Author

I don't see anything hanging?

@jonathanpallant
Copy link
Member Author

jonathanpallant commented Oct 18, 2024

ah, the branch rule is waiting for a job that no longer exists. Ugh, GHA is so annoying.

I don't think I can fix that until this PR is merged.

@jonathanpallant jonathanpallant merged commit 2efc6dc into main Oct 21, 2024
7 checks passed
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.

2 participants